Fix two typos in Introduction.lean - Githubissues

PatrickMassot / GlimpseOfLean

An introduction to theorem proving in Lean for the impatient.

Apache License 2.0

109 stars 51 forks source link

Fix two typos in Introduction.lean #1

Closed jcommelin closed 1 year ago