Theorem Flag.chain_lt

Modification history

2023-08-09 12:58
Mathlib/Order/Chain.lean
feat(Order/Chain): add 2 lemmas (#6459) …
Modified Flag.chain_ltView on Github →
2022-12-29 00:36
Mathlib/Order/Chain.lean
feat: port `Order.Chain` (#1205) …
Added Flag.chain_ltView on Github →