Theorem Set.pairwise_iUnion₂_iff

Modification history

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