Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ο . ∀ x1 : ι → ι . (∀ x2 . x2 ∈ u12 ⟶ x1 x2 ∈ u12) ⟶ ∀ x2 . x2 ⊆ u12 ⟶ prim5 x2 x1 ⊆ u12

as obj
-

as prop
4373b..

theory
HotG

stx
69a30..

address
TML3S..