Theorem Mathlib.Meta.NormNum.IsNNRat.to_isNat

Modification history