Theorem ClosureOperator.closure_supᵢ_closure

Modification history