Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ u12 ⟶ ∀ x1 : ι → ο . x1 0 ⟶ x1 u1 ⟶ x1 u2 ⟶ x1 u3 ⟶ x1 u4 ⟶ x1 u5 ⟶ x1 u6 ⟶ x1 u7 ⟶ x1 u8 ⟶ x1 u9 ⟶ x1 u10 ⟶ x1 u11 ⟶ x1 x0

as obj
-

as prop
866c8..

theory
HotG

stx
603d5..

address
TMdVF..