Theorem Affine.Triangle.affineSpan_orthocenter_point_le_altitude

Modification history