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