search

leanprover / theorem_proving_in_lean

Theorem proving in Lean
Apache License 2.0
47 stars 46 forks source link

fix(quantifiers_and_equality): typo #81

Closed matthias-t closed 5 years ago