Theorem Nat.pred_eq_pred

Modification history