Theorem IsChain.pairwiseDisjoint_sUnion

Modification history

2025-10-23 17:08
Mathlib/Data/Set/Pairwise/Chain.lean
feat(Data/Set/Pairwise): prove pairwise results for Chains, move `Set.pairwise_iUnion₂` (#28119) …
Added IsChain.pairwiseDisjoint_sUnionView on Github →