Theorem Affine.Simplex.mongePoint_eq_of_range_eq

Modification history