Def Nat.pow_le_pow_of_le_right

Modification history