Theorem boundary_of_boundaryless_right

Modification history