Proofgold Term Root Disambiguation

λ x0 x1 . 3097a.. x1 (λ x2 . x0)

as obj
b5c9f..

as prop
-

theory
HoTg

stx
e27bb..

address
TMaER..