Theorem IsClosed.closure_subset

Modification history