P
Initializing...
The crossing state `(a, b, c, h)` of the concrete surface admits an ideal atlas indexed by the crossing residue ideals of the special fiber. · Prove2Me