Proofgold Term Root Disambiguation

d7cf0.. 1f2c4.. (λ x0 . 91fd5.. (91fd5.. (57d6a.. 67794.. x0) (57d6a.. 67794.. 5b8fe..)) (57d6a.. 67794.. 5b8fe..))

as obj
99fb9..

as prop
-

theory
HOAS

stx
ca03b..

address
TMNP5..