Proofgold Term Root Disambiguation

combinator (Inj0 0)

as obj
-

as prop
d1f59..^combinator_K

theory
HF

stx
2b38c..

address
TMW11..^combinator_K