Theorem Nat.mod_pow_succ

Modification history