Theorem Set.pairwiseDisjoint_filter

Modification history

2024-01-09 19:00
Mathlib/Data/Finset/Basic.lean
chore(AlgebraicTopology/TopologicalSimplex): clean up, golf (#9431)
Added Set.pairwiseDisjoint_filterView on Github →