Theorem ClosureOperator.ofPred_spec

Modification history