Proofgold Term Root Disambiguation

λ x0 x1 . 0fc90.. x0 (λ x2 . x1)

as obj
ac767..

as prop
-

theory
HoTg

stx
e27bb..

address
TMZBd..