Theorem Mathlib.Meta.NormNum.IsInt.neg_to_eq

Modification history