Proofgold Signed Transaction

vin
PrCJ4../7e16a.. PrS2N../a6252.. PUUGX../aaf3a..

vout

PrCJ4../2fe68.. 0.01 bars
TMXib../33747.. ownership of 0fd7c.. as prop with payaddr PrCmT.. rights free controlledby PrCmT.. upto 0
TMZxB../00d96.. ownership of b52b9.. as prop with payaddr PrCmT.. rights free controlledby PrCmT.. upto 0
PrS2N../ae140.. rights obj a5931.. units 999999
PUa9Z../ffea7.. doc published by PrCmT..

Param a5931.. : ((ι → ι) → ι → ι) → CN (ι → ι)
Theorem 0fd7c.. : ∀ x0 : ι → ι . ∀ x1 . a5931.. (λ x3 : ι → ι . λ x4 . x3 x1) (λ x3 : ι → ι . λ x4 . x3 x1) = a5931.. (λ x3 : ι → ι . λ x4 . x3 x1) (λ x3 : ι → ι . λ x4 . x3 x1) (proof)