Proofgold Term Root Disambiguation

λ x0 x1 . prim3 (prim2 x0 x1)

as obj
0ac37..

as prop
-

theory
HoTg

stx
c93a1..

address
TMTos..