Theorem isChain_empty

Modification history

2024-11-28 16:50
Mathlib/Order/Chain.lean
feat(Order): maximal chains are preserved under order isomorphisms (#19471) …
Deleted isChain_emptyView on Github →
2022-12-29 00:36
Mathlib/Order/Chain.lean
feat: port `Order.Chain` (#1205) …
Added isChain_emptyView on Github →