Proofgold Term Root Disambiguation

λ x0 x1 : ο . ∀ x2 : ο . (x0 ⟶ x1 ⟶ x2) ⟶ x2

as obj
37d7b..

as prop
-

theory
HoTg

stx
f69d8..

address
TMHVP..^and