Theorem ModelWithCorners.boundary_disjointUnion

Modification history