Theorem OnePoint.some_eq_iff

Modification history

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