Search for blocks/addresses/...

Proofgold Signed Transaction

vin
PrEvg../0d729..
PUfHH../a8cec..
vout
PrEvg../cc06d.. 0.35 bars
TMYxq../6223b.. ownership of a1ac9.. as prop with payaddr PrGxv.. rights free controlledby PrGxv.. upto 0
TMMYM../64d19.. ownership of 09b7a.. as prop with payaddr PrGxv.. rights free controlledby PrGxv.. upto 0
PUMyj../4c417.. doc published by PrGxv..
Param bb8e6.. : (ι → ι → ο) → ο
Param d478c.. : (ι → ι → ο) → (ι → ι → ο) → ι → ο
Param 32d20.. : ι
Param 6fe8d.. : (ι → ι → ο) → (ι → ι → ο) → (ι → ι → ο) → ι → ι → ο
Param 5c39b.. : ι → ι → ο
Param 6915e.. : ι
Known 9df63.. : ∀ x0 x1 : ι → ι → ο . ∀ x2 . 6fe8d.. x0 x1 5c39b.. x2 6915e.. ⟶ d478c.. x0 x1 x2
Known 7d6ad.. : ∀ x0 x1 x2 : ι → ι → ο . 6fe8d.. x0 x1 x2 32d20.. 6915e..
Theorem a1ac9.. : ∀ x0 x1 : ι → ι → ο . bb8e6.. x0 ⟶ bb8e6.. x1 ⟶ d478c.. x0 x1 32d20.. (proof)