search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
27 stars 56 forks source link

Reorganizing lemmas about angles and linear maps #256

Closed FR-vdash-bot closed 9 months ago