search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
26 stars 57 forks source link

colinear -> collinear #287

Closed FR-vdash-bot closed 5 months ago