Theorem Mathlib.Meta.NormNum.isNNRat_zpow_neg

Modification history