Theorem Affine.Simplex.affineSpan_pair_altitudeFoot_eq_altitude

Modification history