The concrete surface is a regular local domain carrying `SurfaceData` with uniformizer `π`, parameters `t, x`, unit `u` and exponents `a, b`.

Initializing...

The concrete surface is a regular local domain carrying `SurfaceData` with uniformizer `π`, parameters `t, x`, unit `u` and exponents `a, b`. · Prove2Me