Search for blocks/addresses/...
Proofgold Address
address
PUVjBQSVUMHYmwuCqpj8JoEDCyLJxK85vrn
total
0
mg
-
conjpub
-
current assets
a2401..
/
56bcd..
bday:
36618
doc published by
PrCmT..
Definition
1596d..
:=
∀ x0 : ο .
x0
Known
ax_luk2
:
∀ x0 : ο .
(
wn
x0
⟶
x0
)
⟶
x0
Known
ax_luk3
:
∀ x0 x1 : ο .
x0
⟶
wn
x0
⟶
x1
Known
ax_9d1
:
wn
(
∀ x0 .
wn
(
wceq
(
cv
x0
)
(
cv
x0
)
)
)
Theorem
b92a8..
:
∀ x0 : ο .
(
∀ x1 .
x0
)
⟶
x0
(proof)
previous assets