Theorem OnePoint.elim_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.elim_inftyView on Github →