Theorem Mathlib.Meta.NormNum.IsRat.to_isNNRat

Modification history