λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XIV-H@1 · XIV-H.tex · section · 695c7c3a

H0: copied handoffs and their domains

H0: copied handoffs and their domains · lines 313–321

Back to manuscript

Only XIV-G, XIV-F, XIV-E, XIV-D, XIV-C, XIII-C, XIII-B, XII-E, and XII-C are analytic manuscript inputs. Their handoffs are used with their stated scope. No incidence inventory, predecessor phase theorem, or clean-excess theorem is re-proved.