Search for blocks/addresses/...
Proofgold Term Root Disambiguation
wceq
cfuns
(
cdif
(
cpw
(
cxp
cvv
cvv
)
)
(
cfix
(
ccom
cep
(
ccom
(
ctxp
c1st
(
ccom
(
cdif
cvv
cid
)
c2nd
)
)
(
ccnv
cep
)
)
)
)
)
as obj
-
as prop
014f7..
theory
SetMM
stx
e3215..
address
TMaM2..