Theorem ClosureOperator.closure_sup_closure

Modification history