Mathlib v3 is deprecated. Go to Mathlib v4

Theorem extend_partial_order

Modification history

2021-04-25 05:29

src/order/extension.lean

feat(order/extension): extend partial order to linear order (#7142) …

Added extend_partial_order View on Github →