search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
26 stars 57 forks source link

implicit parameters in iff lemma #299

Closed FR-vdash-bot closed 5 months ago