Search for blocks/addresses/...
Proofgold Term Root Disambiguation
∀ 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
}
as obj
-
as prop
b1d98..
theory
HotG
stx
2a9bf..
address
TMa8a..