Theorem Affine.Simplex.faceOpposite_point_eq_point_zero

Modification history