Theorem IsClosed.interior_union_right

Modification history