Theorem Mathlib.Meta.NormNum.IsNat.to_raw_eq

Modification history