Theorem Int.le.elim

Modification history

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