`PtNe` typeclass and let the notations use it automatically - Githubissues

jjdishere / EG

Formalizing Euclidean Geometry in Lean

26 stars 57 forks source link

`PtNe` typeclass and let the notations use it automatically #260

Closed FR-vdash-bot closed 6 months ago