Theorem Affine.Triangle.dist_orthocenter_reflection_circumcenter_finset

Modification history