Theorem Affine.Simplex.affineSpan_pair_eq_altitude_iff

Modification history