Proofgold Term Root Disambiguation

λ x0 . prim5 x0 Inj1

as obj
7d54b..^Inj0

as prop
-

theory
HotG

stx
114a5..

address
TMNyr..^Inj0