`collinear` -> `Collinear` & `parallel` -> `Parallel` & `perpendicular` -> `Perpendicular` & other name changes - Githubissues

jjdishere / EG

Formalizing Euclidean Geometry in Lean

26 stars 57 forks source link

`collinear` -> `Collinear` & `parallel` -> `Parallel` & `perpendicular` -> `Perpendicular` & other name changes #296

Closed FR-vdash-bot closed 5 months ago