Search for blocks/addresses/...
Proofgold Term Root Disambiguation
λ x0 x1 x2 .
binunion
x1
{
SetAdjoin
x3
x0
|x3 ∈
x2
}
as obj
76732..
pair_tag
as prop
-
theory
HotG
stx
4317c..
address
TMT1x..
pair_tag