Theorem Mathlib.Meta.NormNum.IsInt.to_raw_eq

Modification history