Proofgold Term Root Disambiguation

λ x0 x1 . ∀ x2 . prim1 x2 x0 ⟶ prim1 x2 x1

as obj
c4255..

as prop
-

theory
HoTg

stx
f69d8..

address
TMbQv..^Subq