Theorem Complex.mem_slitPlane_or_neg_mem_slitPlane

Modification history

2025-07-27 09:27
Mathlib/Analysis/Complex/Basic.lean
feat: establish examples of harmonic functions (#26844) …
Added Complex.mem_slitPlane_or_neg_mem_slitPlaneView on Github →