Mathlib v3 is deprecated. Go to Mathlib v4

Def lattice.to_linear_order

Modification history

2021-09-15 02:43
src/order/lattice.lean
chore(*): upgrade to Lean 3.33.0c (#9165) …
Added lattice.to_linear_orderView on Github →