Theorem: RiemannSphere.coePartialHomeomorph_target (Ray/AnalyticManifold/RiemannSphere.lean)

State before:
⊢ coePartialHomeomorph.target = {∞}ᶜ
Tactic:
simp only [coePartialHomeomorph, coePartialEquiv_target]
State after:
no goals