Theorem cmpLE_swap

Modification history

2026-01-20 13:02
Mathlib/Order/Compare.lean
chore(Order/Defs/Unbundled): deprecate `IsTotal` in favor of core's `Std.Total` (#33797)
Modified cmpLE_swapView on Github →
2025-03-17 06:31
Mathlib/Order/Compare.lean
chore: Migrate to `DecidableLT` and `DecidableLE` (#22238) …
Modified cmpLE_swapView on Github →
2024-12-11 04:11
Mathlib/Order/Compare.lean
chore: used named arguments instead of @DecidableRel (#19850)
Modified cmpLE_swapView on Github →
2022-11-18 04:44
Mathlib/Order/Compare.lean
feat: port Order.Compare (#569) …
Added cmpLE_swapView on Github →