Proofgold Term Root Disambiguation

λ x0 x1 . 22598.. x0 (41fb9.. x1)

as obj
74066..

as prop
-

theory
HotG

stx
50e9d..

address
TML5y..