Theorem isClosed_of_closure_subset

Modification history