Theorem Affine.Triangle.altitude_replace_orthocenter_eq_affineSpan

Modification history