Theorem Mathlib.Meta.NormNum.isInt_lt_false

Modification history