Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ setminus u10 u6 ⟶ ∀ x1 : ι → ο . x1 u6 ⟶ x1 u7 ⟶ x1 u8 ⟶ x1 u9 ⟶ x1 x0

as obj
-

as prop
86222..

theory
HotG

stx
daf5d..

address
TMYdJ..