Proofgold Term Root Disambiguation

λ x0 . lam x0 Inj0

as obj
f3f54..

as prop
-

theory
HotG

stx
f3462..

address
TMZtT..