Search for blocks/addresses/...
Proofgold Signed Transaction
vin
PrP4d..
/
733f5..
PULgu..
/
d886a..
vout
PrP4d..
/
894c8..
0.08 bars
TMYLV..
/
20167..
ownership of
b92a8..
as prop with payaddr
PrCmT..
rightscost 0.00 controlledby
PrCmT..
upto 0
TMVcK..
/
e8f72..
ownership of
93825..
as prop with payaddr
PrCmT..
rightscost 0.00 controlledby
PrCmT..
upto 0
TMXE9..
/
ed00a..
ownership of
1596d..
as obj with payaddr
PrCmT..
rightscost 0.00 controlledby
PrCmT..
upto 0
PUVjB..
/
56bcd..
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)