Proofgold Term Root Disambiguation

λ x0 x1 . prim2 (prim2 x0 x1) (91630.. x0)

as obj
7ee77..

as prop
-

theory
HoTg

stx
f69d8..

address
TMY8M..