Theorem ClosureOperator.isClosed_top

Modification history