Theorem OnePoint.isClosed_infty

Modification history