Theorem convergent_eqv_pure

Modification history

2024-06-28 14:12
Mathlib/Topology/StoneCech.lean
refactor: redefine Stone-Čech compactification (#14108) …
Deleted convergent_eqv_pureView on Github →
2023-02-07 15:42
Mathlib/Topology/StoneCech.lean
feat: port Topology.StoneCech (#2147)
Added convergent_eqv_pureView on Github →