Proofgold Term Root Disambiguation

λ x0 x1 . λ x2 : ι → ι . λ x3 . λ x4 : ι → ι → ι . λ x5 . prim0 (a813b.. x0 x1 x2 x3 x4 x5)

as obj
a69d5..

as prop
-

theory
HoTg

stx
ddc14..

address
TMY3C..^{explicit_Nats_primrec}