Theorem Ultrafilter.pure_surjective

Modification history

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