Search for blocks/addresses/...

Proofgold Signed Transaction

vin
PrFj7../647cc..
PUY3g../0e45d..
vout
PrFj7../33e2c.. 0.00 bars
TMLAD../50335.. ownership of aa7c9.. as prop with payaddr Pr4zB.. rights free controlledby Pr4zB.. upto 0
TMSfC../6ef1e.. ownership of 18c07.. as prop with payaddr Pr4zB.. rights free controlledby Pr4zB.. upto 0
PUQ4H../71884.. doc published by Pr4zB..
Theorem aa7c9.. : ∀ x0 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . ∀ x1 . ∀ x2 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . (∀ x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 . x0 x1 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 = x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19) ⟶ x0 x1 = x2 (proof)