Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ setminus u22 u17 ⟶ ∀ x1 : ι → ο . x1 u17 ⟶ x1 u18 ⟶ x1 u19 ⟶ x1 u20 ⟶ x1 u21 ⟶ x1 x0

as obj
-

as prop
dcb62..

theory
HotG

stx
0e297..

address
TMXGh..