Theorem Mathlib.Meta.NormNum.isNat_pow

Modification history