Theorem ClosureOperator.closure_sup_closure_right

Modification history