Mathlib Changelog
v4
Changelog
About
Github
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 →