Theorem Filter.principal_injective

Modification history

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