Theorem Nat.even_mul_succ_self

Modification history