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

Initializing...

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