Manuscript XV-F@3 · XV-F-v3.tex · section · d4e74afa
What the recovered class imposes on any future lift
What the recovered class imposes on any future lift · lines 1789–1794
Nothing in this section evaluates a lift. It states the necessary conditions that Definition def:Cpart would impose, under hypotheses that the record does not yet allow one to verify.