Proofgold Proposition

∀ x0 x1 x2 x3 x4 x5 . bbc71.. x0 x1 x2 x3 x4 x5 0 0 = binunion (binunion (f4b0e.. x0 x1 x2 x3) {SetAdjoin x7 (Sing 5)|x7 ∈ x4}) {SetAdjoin x7 (Sing 6)|x7 ∈ x5}

type
prop

theory
HotG

name
-

proof
PUhtR..

Megalodon
-

proofgold address
TMUhW..

creator
28142 PrQUS../0375e..

owner
28142 PrQUS../0375e..

term root
032e0..