Manuscript Oai365-A@1 · Oai365-A.tex · section · a3840e3d
A predeclared enriched subclass
An explicit enriched-process Lorentz pilot › A predeclared enriched subclass · lines 506–511
This is non-vacuity of the presently specified subclass, not a claim that an unspecified package in a predecessor manuscript has been instantiated.