Search for blocks/addresses/...

Proofgold Asset

asset id
ffea7545b0ede0bb1ee73e4682a6d51951fe330bb3736fb6c7c86477e92d0546
asset hash
db3dfdff121443fe4553d1d32e591b3a495879dd013d72fde6a0e3e9322280a9
bday / block
39200
tx
0c3d3..
preasset
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)