Proofgold Term Root Disambiguation

bcddf.. (57d6a.. 67ee8.. (57d6a.. 25ca3.. 65996..)) (λ x0 . bcddf.. (57d6a.. 67ee8.. (57d6a.. 25ca3.. 65996..)) (λ x1 . 57d6a.. (57d6a.. (57d6a.. (57d6a.. 780a9.. 65996..) x1) 0f581..) x0))

as obj
a0e3f..

as prop
-

theory
HOAS

stx
09504..

address
TMSVC..