Theorem ClosureOperator.eq_ofPred_closed

Modification history