Proofgold Term Root Disambiguation

λ x0 . 25755.. x0 (λ x1 . x0)

as obj
eb53d..

as prop
-

theory
HoTg

stx
e27bb..

address
TMS9n..