Theorem IsOpen.exterior_eq

Modification history