Theorem interPairsFilter_pairwiseDisjoint

Modification history

2026-09-04 11:59
Mathlib/Order/Filter/Ultrafilter/Cardinality.lean
feat: cardinality of `Ultrafilter` (#41297) …
Added interPairsFilter_pairwiseDisjointView on Github →