λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XIV-I@1 · XIV-I.tex · section · 29df501d

I0: copied inputs and the exact predecessor stop

I0: copied inputs and the exact predecessor stop · lines 297–303

Back to manuscript

All manuscript handoffs below are premises with their predecessor domains. No incidence ledger, elementary phase theorem, or clean-excess theorem is re-proved.