Code

quantifiers_and_equality.rst: typos#100

Code

Merged

avigad merged 1 commit intoleanprover:masterleanprover/theorem_proving_in_lean:masterfrom ben-dyer:quantifiers-and-equalityben-dyer/theorem_proving_in_lean:quantifiers-and-equalityCopy head branch name to clipboardMay 18, 2020

+2-2

Commits

Commits on May 1, 2020

• quantifiers_and_equality.rst: typos

  ben-dyer

  committed
  75df739

  Copy full SHA for 75df739