Theorem Fin.pred_add_one

Modification history