Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUhtR..

Megalodon
-

proofgold address
TMEje..

creator
28142 PrQUS../e9db3..

owner
28142 PrQUS../e9db3..

term root
6e197..