Theorem ClosureOperator.ext_isClosed

Modification history