Theorem Nat.self_add_pred

Modification history