Theorem Fin.pred_eq

Modification history