Search for blocks/addresses/...

Proofgold Signed Transaction

vin
PrHsm../75d0f..
PUh6L../67cea..
vout
PrHsm../e184f.. 0.00 bars
TMayU../a7c01.. ownership of d1655.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
TML22../31d00.. ownership of 18ecc.. as prop with payaddr Pr6Pc.. rights free controlledby Pr6Pc.. upto 0
PUgiv../32d71.. doc published by Pr6Pc..
Param invinv : ι(ιι) → ιι
Known inj_linv_coddep : ∀ x0 x1 . ∀ x2 : ι → ι . (∀ x3 . x3x0∀ x4 . x4x0x2 x3 = x2 x4x3 = x4)∀ x3 . x3x0inv x0 x2 (x2 x3) = x3
Theorem inj_linvinj_linv : ∀ x0 . ∀ x1 : ι → ι . (∀ x2 . x2x0∀ x3 . x3x0x1 x2 = x1 x3x2 = x3)∀ x2 . x2x0inv x0 x1 (x1 x2) = x2 (proof)