Theorem Mathlib.Meta.NormNum.isInt_sub

Modification history