Search for blocks/addresses/...
Proofgold Term Root Disambiguation
∀ x0 :
ι → ο
.
wceq
(
cxne
x0
)
(
cif
(
wceq
x0
cpnf
)
cmnf
(
cif
(
wceq
x0
cmnf
)
cpnf
(
cneg
x0
)
)
)
as obj
-
as prop
c5c2a..
theory
SetMM
stx
33c8c..
address
TMZYh..