Theorem Nat.even_pow

Modification history