Theorem OnePoint.elim_some

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_someView on Github →