Proofgold Term Root Disambiguation

λ x0 x1 x2 . lam_comp (ap x0 0)

as obj
9cd03..^struct_comp

as prop
-

theory
HotG

stx
ef27a..

address
TMEty..^struct_comp