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