Def ltByCases

Modification history

2023-08-10 19:52

Mathlib/Init/Algebra/Order.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified ltByCases View on Github →

2023-05-16 13:10

Mathlib/Init/Algebra/Order.lean

fix: re-port Init/Algebra/Order (#4000) …

Added ltByCases View on Github →