Theorem Affine.Triangle.altitude_eq_mongePlane

Modification history