Manuscript XIV-B@1 · XIV-B.tex · section · 53202eaa
B4: two illegal lifts
B4: two illegal lifts · lines 879–884
Both lifts are excluded by explicit incompatibilities, not by absent formulas.
Manuscript XIV-B@1 · XIV-B.tex · section · 53202eaa
B4: two illegal lifts · lines 879–884
Both lifts are excluded by explicit incompatibilities, not by absent formulas.