Theorem Affine.Simplex.face_centroid_eq_iff

Modification history