Theorem ClosureOperator.closure_sup_closure_left

Modification history