Manuscript Oai290-A@1 · Oai290-A.tex · section · 7c6e104a
Descent through reconstructed presentations
Why modular boundedness does not close characteristic admission › Descent through reconstructed presentations · lines 2213–2217
This is the compatibility condition explicitly recorded in
XIV-J CheungXIVJ (:descent).