search

hrmacbeth / math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
184 stars 82 forks source link

Update 02_Proving_Equalities_in_Lean.lean #1

Closed VhRvo closed 1 year ago

VhRvo commented 1 year ago

remove trailing spaces