Proofgold Object

λ x0 x1 x2 x3 x4 x5 x6 x7 . binunion (binunion (binunion (binunion (binunion (binunion (binunion x0 {SetAdjoin x8 (Sing 2)|x8 ∈ x1}) {SetAdjoin x8 (Sing 3)|x8 ∈ x2}) {SetAdjoin x8 (Sing 4)|x8 ∈ x3}) {SetAdjoin x8 (Sing 5)|x8 ∈ x4}) {SetAdjoin x8 (Sing 6)|x8 ∈ x5}) {SetAdjoin x8 (Sing 7)|x8 ∈ x6}) {SetAdjoin x8 (Sing 8)|x8 ∈ x7}

type
ι → ι → ι → ι → ι → ι → ι → ι → ι

theory
HotG

name
-

definition
PUhtR..

Megalodon
-

proofgold address
TMWb7..

creator
28142 PrQUS../1cd6e..

owner
28142 PrQUS../1cd6e..

term root
b114d..