Theorem Affine.Simplex.centroid_eq_of_range_eq

Modification history