Proofgold Term Root Disambiguation

λ x0 . 1216a.. (e5b72.. (472ec.. x0)) (λ x1 . ∃ x2 . and (prim1 x2 x0) (1beb9.. x2 x1))

as obj
56ded..

as prop
-

theory
HoTg

stx
38a69..

address
TMP28..