Theorem ModelWithCorners.isInteriorPoint_disjointUnion_right

Modification history