Theorem Nat.pred_add_self

Modification history