Theorem IsOpen.subset_interior_iff

Modification history