Theorem ClosureOperator.closure_mem_mk₃

Modification history