Theorem Affine.Simplex.faceOpposite_point_eq_point_rev

Modification history