λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript I-B-G@2 · I-B-G-v2.tex · section · 3b4d700f

A finite Enter catalogue of supplied evaluations

A finite Enter catalogue of supplied evaluations · lines 2030–2038

Back to manuscript

This section is analytically independent of the existence proofs. It supplies a finite reporting interface of the I-B/En09-A type CheungIB,CheungEn09, not a physical acquisition map for a Green distribution.