Theorem Mathlib.Meta.NormNum.isInt_cast

Modification history