Theorem ultrafilter_comap_pure_nhds

Modification history

2023-02-07 15:42
Mathlib/Topology/StoneCech.lean
feat: port Topology.StoneCech (#2147)
Added ultrafilter_comap_pure_nhdsView on Github →