Proofgold Term Root Disambiguation

λ x0 . prim2 x0 x0

as obj
91630..

as prop
-

theory
HoTg

stx
f69d8..

address
TMMBx..