Theorem ClosureOperator.le_closure

Modification history