Theorem Affine.Simplex.interior_subset_closedInterior

Modification history