Search for blocks/addresses/...

Proofgold Asset

asset id
a0162fde313260d54cc28194f67a1880ee4690db1dc88e94d10627e974f5de70
asset hash
cdd3da3734785b318255d52b52851772dc384b0741780edf248f0d7e09f6d42f
bday / block
1605
tx
01b3e..
preasset
theory published by PrGxv..
Prim 0/a6994.. : ιιι
Prim 1/aeaf7.. : (ιι) → ι
Axiom 128d8.. : ∀ x0 x1 x2 x3 . prim0 x0 x1 = prim0 x2 x3∀ x4 : ο . (x0 = x2x1 = x3x4)x4
Axiom b4755.. : ∀ x0 x1 : ι → ι . prim1 x0 = prim1 x1x0 = x1
Axiom 9aea6.. : ∀ x0 x1 . ∀ x2 : ι → ι . prim0 x0 x1 = prim1 x2∀ x3 : ο . x3
Axiom prop_ext_2 : ∀ x0 x1 : ο . (x0x1)(x1x0)x0 = x1