Theorem Affine.Triangle.dist_orthocenter_reflection_circumcenter

Modification history