Def Nat.pow_succ

Modification history