Update Position/Angle and clean trash in Linear and Position/Angle - Githubissues

jjdishere / EG

Formalizing Euclidean Geometry in Lean

26 stars 57 forks source link

Update Position/Angle and clean trash in Linear and Position/Angle #288

Closed mbkybky closed 5 months ago