Theorem Pred.rec_linear

Modification history