Theorem Nat.even_mul_pred_self

Modification history