pac
Star
Fork
Watch

PackageFormula.v's lookup theorems bind the looked-up name as n and a negated name as m

Author Ryan Gibb Date Commit Parent 9f0ea505
+40 -40
1 changed file
Unified Split
+40 -40
1 changed file