search

leanprover / theorem_proving_in_lean

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

quantifiers_and_equality.rst: typos #100

Closed ben-dyer closed 4 years ago

ben-dyer commented 4 years ago

more minor typos: "full generally" --> "full generality" "not to the insert implicit arguments" --> "not to insert the implicit arguments"