Theorem IsOpen.interior_eq

Modification history