Theorem ModelWithCorners.interior_disjointUnion

Modification history