Proofgold Term Root Disambiguation

λ x0 x1 . ap (ap x0 x1)

as obj
3b93e..^decode_b

as prop
-

theory
HotG

stx
08e38..

address
TMLJX..^decode_b