Theorem IsClosed.interior_union_left

Modification history