Proofgold Term Root Disambiguation

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

as obj
5cc77..

as prop
-

theory
HoTg

stx
f69d8..

address
TMRrS..^or