Ma-Minda
The image of the unit disk under \(f\): concentric circles \(|z|=r\) and radial spokes mapped through \(f(z)=z+a_2z^2+\dots\); the bold curve is the boundary \(f(e^{i\theta})\). Rendered in your browser from the certified Taylor coefficients - nothing is computed server-side.
| Property | Kind | Params | Holds | Value / r | Status | Confidence |
|---|
| Verifier | Property | Direction | Outcome | Domain r | Witness | Engine |
|---|