Theorem ClosureOperator.monotone

Modification history