Theorem ClosureOperator.closure_eq_self_of_mem_closed

Modification history