Theorem Mathlib.Meta.NormNum.IsNNRat.to_isRat

Modification history