Theorem Affine.Triangle.orthocenter_eq_mongePoint

Modification history