Theorem IsOpen.exterior_subset_iff

Modification history