Theorem Nat.even_add_one

Modification history