Search for blocks/addresses/...
Proofgold Term Root Disambiguation
λ x0 x1 x2 x3 .
binunion
(
binunion
(
binunion
x0
{
SetAdjoin
x4
(
Sing
2
)
|x4 ∈
x1
}
)
{
SetAdjoin
x4
(
Sing
3
)
|x4 ∈
x2
}
)
{
SetAdjoin
x4
(
Sing
4
)
|x4 ∈
x3
}
as obj
f4b0e..
as prop
-
theory
HotG
stx
2a9bf..
address
TMdzB..