Proofgold Proposition

∀ x0 x1 x2 . f4b0e.. x0 x1 x2 0 = binunion (binunion x0 {SetAdjoin x4 (Sing 2)|x4 ∈ x1}) {SetAdjoin x4 (Sing 3)|x4 ∈ x2}

type
prop

theory
HotG

name
-

proof
PUhtR..

Megalodon
-

proofgold address
TMVEd..

creator
28142 PrQUS../51a0a..

owner
28142 PrQUS../51a0a..

term root
52113..