Theorem Mathlib.Meta.NormNum.IsNat.to_isNNRat

Modification history