The crossing state set of the concrete surface is the disjoint union of the residue cells lifting the crossing residue ideals.

Initializing...

The crossing state set of the concrete surface is the disjoint union of the residue cells lifting the crossing residue ideals. · Prove2Me