Proofgold Term Root Disambiguation

λ x0 . 38062.. x0 (λ x1 . x0)

as obj
d2155..

as prop
-

theory
HoTg

stx
e27bb..

address
TMU9q..