Theorem Mathlib.Meta.NormNum.isNat.natElim

Modification history