Manuscript XI-G@1 · XI-G.tex · section · f029bbcd
The verdict
G3: the wavefront alternative › The verdict · lines 1242–1249
XI-F's was the conormal of the step in the frozen kernel. The class forgets the step and keeps its two null halves . Representatives in can move the halves off the diagonal, but by Theorem thm:criterion(a) they cannot remove them.