λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XIV-G@1 · XIV-G.tex · section · 791c6644

Unentered alternatives

G1: operator and pullback calculus without a common phase › Unentered alternatives · lines 903–913

Back to manuscript

The following remain unentered:

  1. a resolved or blown-up paired representation, with a new ambient representation and its own clean-matching theorem;

  2. a continuation of XIII-E's common-frequency family, with a new convergence theorem on tests meeting the stratum.

Neither is substituted after the stop below.