Theorem IsOpen.subset_interior_closure

Modification history