Theorem Filter.sets_injective

Modification history

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