Proofgold Proposition

∀ 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)}

type
prop

theory
HotG

name
-

proof
PUTNo..

Megalodon
Conj_ZF_UPair_closed__1__1

proofgold address
TMRiW..^{Conj_ZF_UPair_closed__1__1}

creator
35053 PrNpY../392c6..

owner
35061 PrNpY../654a2..

term root
f6cdd..