λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript Hawk03-A@1 · Hawk03-A.tex · section · 9a109c12

One explicit unitary finite benchmark

One explicit unitary finite benchmark · lines 801–804

Back to manuscript

We now construct all positive finite objects in one model.