Theorem Mathlib.Meta.NormNum.isInt_add

Modification history