Theorem interior_union_isClosed_of_interior_empty

Modification history