Proofgold Term Root Disambiguation

∀ x0 x1 x2 . x2 ∈ UPair x0 x1 ⟶ If_i (x0 ∈ 0) x0 x1 ∈ {If_i (x0 ∈ x3) x0 x1|x3 ∈ prim4 (prim4 x0)} ⟶ x2 ∈ {If_i (x0 ∈ x3) x0 x1|x3 ∈ prim4 (prim4 x0)}

as obj
-

as prop
d2732..^{Conj_ZF_UPair_closed__1__1}

theory
HotG

stx
b740c..

address
TMYvU..^{Conj_ZF_UPair_closed__1__1}