Proofgold Term Root Disambiguation

combinator (Inj0 (Power 0))

as obj
-

as prop
d55a8..^combinator_S

theory
HF

stx
2b38c..

address
TMRtp..^combinator_S