Contact lengths against `t` (and against `x` when `b > 0`) in the concrete surface agree with the corresponding contacts in the special fiber.

Initializing...

Contact lengths against `t` (and against `x` when `b > 0`) in the concrete surface agree with the corresponding contacts in the special fiber. · Prove2Me