Theorem Mathlib.Meta.NormNum.isNNRat_pow

Modification history