Theorem Ultrafilter.tendsto_pure_self

Modification history

2023-07-31 08:03

Mathlib/Topology/StoneCech.lean

feat(Topology.ProperMap): basic theory of proper maps (#6005)

Added Ultrafilter.tendsto_pure_self View on Github →