Theorem Affine.Triangle.orthocenter_eq_of_range_eq

Modification history