Proofgold Term Root Disambiguation

λ x0 : ι → ι → ο . λ x1 . prim0 (x0 x1)

as obj
42818..

as prop
-

theory
HoTg

stx
db9a4..

address
TMTxa..^{canonical_elt}