Theorem Lean.Meta.NormNum.ofNat_nat

Modification history