Theorem Pred.rec_iff

Modification history