Theorem Order.isIdeal_sUnion_of_isChain

Modification history

2024-05-07 14:07
Mathlib/Order/Ideal.lean
feat(Mathlib/Order/Ideal): ideals of sets are stable under directed unions and chains (#12651) …
Added Order.isIdeal_sUnion_of_isChainView on Github →