Theorem OnePoint.equivOfIsEmbeddingOfRangeEq_apply_infty

Modification history

2024-10-29 20:27
Mathlib/Topology/Compactification/OnePoint.lean
feat: add a uniqueness result for one-point compactification (#18411)
Added OnePoint.equivOfIsEmbeddingOfRangeEq_apply_inftyView on Github →