Theorem ModelWithCorners.isInteriorPoint_or_isBoundaryPoint

Modification history