Theorem Mathlib.Meta.NormNum.IsNat.raw_refl

Modification history