Theorem IsOpen.exterior_subset

Modification history