Theorem Affine.Simplex.closedInterior_subset_affineSpan

Modification history