λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XVI-B@1 · XVI-B.tex · section · 6a0abffd

Update from the supplied later sheets

Update from the supplied later sheets · lines 1367–1374

Back to manuscript

The original XVI-B statement that the entire successor chain was unanswered must be localized. The supplied later sheets report progress on named objects. Those results are not reclassified as absent merely because they were not proved in the original XVI-B draft.