Proofgold Term Root Disambiguation

3b429.. f74bd.. (λ x0 . f74bd..) (λ x0 x1 . True) 236dc..

as obj
aee35..

as prop
-

theory
HoTg

stx
9e11d..

address
TMU9d..