Search for blocks/addresses/...
Proofgold Term Root Disambiguation
wceq
ccbn
(
crab
(
λ x0 .
wcel
(
cfv
(
cv
x0
)
cims
)
(
cfv
(
cfv
(
cv
x0
)
cba
)
cms
)
)
(
λ x0 .
cnv
)
)
as obj
-
as prop
370ac..
theory
SetMM
stx
5b3a9..
address
TMQ7A..