Proofgold Term Root Disambiguation

λ x0 . prim3 (94f9e.. 48ef8.. (λ x1 . prim0 (aa8d2.. x1 x0)))

as obj
2f2ea..

as prop
-

theory
HoTg

stx
c93a1..

address
TMPt1..