Theorem Nat.even_mul_self_pred

Modification history