The single state `(a, c)` of the concrete surface (with `b = 0`) admits an ideal atlas indexed by the single residue ideals of the special fiber.

Initializing...

The single state `(a, c)` of the concrete surface (with `b = 0`) admits an ideal atlas indexed by the single residue ideals of the special fiber. · Prove2Me