Theorem Int.lt.elim

Modification history

2022-11-13 23:39
Mathlib/Init/Data/Int/Order.lean
feat: align init.data.int.{basic, order} (#583)
Added Int.lt.elimView on Github →