Theorem PrimrecPred.or

Modification history