Theorem Int.le.elim

Modification history

2026-03-08 17:29

Mathlib/Data/Int/Order/Basic.lean

feat: `Int.mul_{pos,nonpos,neg}_iff` (#36340) …

Modified Int.le.elim View on Github →

2022-11-13 23:39

Mathlib/Init/Data/Int/Order.lean

feat: align init.data.int.{basic, order} (#583)

Added Int.le.elim View on Github →