Manuscript IX-E-3@1 · IX-E-3.tex · section · 8c41417a
Conjugate transfer and fixed-domain obstruction
Conjugate transfer and fixed-domain obstruction · lines 1043–1047
No pair satisfying this proposition's premises is established on the supplied inherited data.