Theorem Lean.Meta.NormNum.eval_of_isNat

Modification history