Theorem Mathlib.Meta.NormNum.isNNRat_inv_pos

Modification history