fix typos in quantifiers_and_equality and inductive_types

leanprover / theorem_proving_in_lean

Theorem proving in Lean

Apache License 2.0

47 stars 46 forks source link

Closed kappelmann closed 4 years ago

kappelmann commented 5 years ago

Change "can" to "you".

avigad commented 4 years ago

@kappelmann Many thanks for this correction. I am sorry it took me so long to merge it.