Theorem ClosureOperator.le_closure_iff

Modification history