Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ setminus u18 u12 ⟶ ∀ x1 : ι → ο . x1 u12 ⟶ x1 u13 ⟶ x1 u14 ⟶ x1 u15 ⟶ x1 u16 ⟶ x1 u17 ⟶ x1 x0

as obj
-

as prop
7618f..

theory
HotG

stx
daf5d..

address
TMbdE..