Theorem ClosureOperator.top_mem_closed

Modification history