Proofgold Signed Transaction

vin
PrD1n../993dd.. PUNVV../7cdf9..

vout

PrD1n../43661.. 7.18 bars
TMN9X../39fd3.. ownership of 128d8.. as prop with payaddr PrGxv.. rightscost 0.00 controlledby PrGxv.. upto 0
TMHbA../bc1d0.. ownership of f4ff1.. as prop with payaddr PrGxv.. rightscost 0.00 controlledby PrGxv.. upto 0
TMVqD../2d62e.. ownership of b4755.. as prop with payaddr PrGxv.. rightscost 0.00 controlledby PrGxv.. upto 0
TMLQS../575e7.. ownership of acde7.. as prop with payaddr PrGxv.. rightscost 0.00 controlledby PrGxv.. upto 0
TMKgc../38271.. ownership of 9aea6.. as prop with payaddr PrGxv.. rightscost 0.00 controlledby PrGxv.. upto 0
TMWkh../74793.. ownership of 4c7c6.. as prop with payaddr PrGxv.. rightscost 0.00 controlledby PrGxv.. upto 0
TMF9H../dbfb8.. ownership of 6d784.. as prop with payaddr PrGxv.. rightscost 0.00 controlledby PrGxv.. upto 0
PUPsB../a0162.. theory published by PrGxv..

Prim 0/a6994.. : ι → ι → ι
Prim 1/aeaf7.. : (ι → ι) → ι
Axiom 128d8.. : ∀ x0 x1 x2 x3 . prim0 x0 x1 = prim0 x2 x3 ⟶ ∀ x4 : ο . (x0 = x2 ⟶ x1 = x3 ⟶ x4) ⟶ x4
Axiom b4755.. : ∀ x0 x1 : ι → ι . prim1 x0 = prim1 x1 ⟶ x0 = x1
Axiom 9aea6.. : ∀ x0 x1 . ∀ x2 : ι → ι . prim0 x0 x1 = prim1 x2 ⟶ ∀ x3 : ο . x3
Axiom prop_ext_2 : ∀ x0 x1 : ο . (x0 ⟶ x1) ⟶ (x1 ⟶ x0) ⟶ x0 = x1