Proofgold Term Root Disambiguation

λ x0 x1 x2 . λ x3 x4 : ι → ι → ι . λ x5 : ι → ι → ο . λ x6 . ∀ x7 : ι → ο . x7 x1 ⟶ (∀ x8 . x7 x8 ⟶ x7 (x3 x8 x2)) ⟶ x7 x6

as obj
8f5fa..

as prop
-

theory
HoTg

stx
04fcb..

address
TMUGM..^{natOfOrderedField_p}