Theorem ClosureOperator.sInf_isClosed

Modification history