Theorem PrimrecPred.forall_lt

Modification history