search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
26 stars 57 forks source link

point reflection #277

Open Noaillesss opened 5 months ago

Noaillesss commented 5 months ago

We should add a concept of point reflection, and also some related thms.