Def decidableLTOfDecidableLE

Modification history

2024-12-11 04:11

Mathlib/Order/Defs/PartialOrder.lean

chore: used named arguments instead of @DecidableRel (#19850)

Modified decidableLTOfDecidableLE View on Github →

2024-11-26 10:41

Mathlib/Order/Defs.lean

chore: split Order.Defs (#19498)

Modified decidableLTOfDecidableLE View on Github →

2023-05-16 13:10

Mathlib/Init/Algebra/Order.lean

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

Added decidableLTOfDecidableLE View on Github →