Theorem ModelWithCorners.boundary_of_boundaryless_left

Modification history