Theorem Mathlib.Meta.NormNum.IsNat.of_raw

Modification history