Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUhtR..

Megalodon
-

proofgold address
TMLDp..

creator
28142 PrQUS../201a3..

owner
28142 PrQUS../201a3..

term root
99075..