search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
26 stars 57 forks source link

IsROrC typeclasses and more lemmas about cdiv #257

Closed FR-vdash-bot closed 7 months ago