Theorem ClosureOperator.mem_closed_ofPred

Modification history