Proofgold Term Root Disambiguation

λ x0 x1 . d7cf0.. x0 (λ x2 . x1)

as obj
91fd5..

as prop
-

theory
HOAS

stx
64e99..

address
TMc6u..