Theorem Affine.Triangle.orthocenter_replace_orthocenter_eq_point

Modification history