Theorem Complex.subset_slitPlane_iff_of_subset_sphere

Modification history

2025-10-07 21:16
Mathlib/Analysis/Complex/Basic.lean
feat: a few lemmata about `ℂ` (#30305) …
Added Complex.subset_slitPlane_iff_of_subset_sphereView on Github →