Theorem Mathlib.Meta.NormNum.isInt_ratCast

Modification history