Theorem ClosureOperator.mem_closed_iff_closure_le

Modification history