Theorem IsClosed.closure_interior_subset

Modification history