Proofgold Term Root Disambiguation

λ x0 . 1216a.. (56ded.. (e4431.. x0)) (λ x1 . 099f3.. x1 x0)

as obj
23e07..

as prop
-

theory
HoTg

stx
38a69..

address
TMdpB..