Def LinearOrder.swap

Modification history

2026-02-11 10:09

Mathlib/Order/Basic.lean

chore: move OrderDual to its own file (#35105) …

Modified LinearOrder.swap View on Github →

2024-09-18 22:25

Mathlib/Order/Basic.lean

feat(MvPowerSeries.LexOrder): lexicographic order of multivariate power series (#14981) …

Added LinearOrder.swap View on Github →