Theorem Fin.pred_last

Modification history