Theorem Mathlib.Meta.NormNum.isNNRat_rpow_neg

Modification history