Proofgold Term Root Disambiguation

3b429.. a470d.. (λ x0 . 48ef8..) (λ x0 x1 . x1 = 4a7ef.. ⟶ ∀ x2 : ο . x2) df931..

as obj
efb37..

as prop
-

theory
HoTg

stx
1ad4e..

address
TMQAJ..