Theorem ClosureOperator.closure_min

Modification history