Loewner equation

DefinitionClosed half-plane above a horizontal line#✓fully proved

The closed strip {w ∈ ℂ : δ ≤ Im w}.

def loewnerStrip (δ : ℝ) : Set ℂ := {w : ℂ | δ ≤ w.im}
Used by 7

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.