Def interPair

Modification history

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