Search for blocks/addresses/...

Proofgold Address

address
PUa9ZHN4jfru6Eku3u5bgXBUASZbc5CSQEj
total
0
mg
-
conjpub
-
current assets
db3df../ffea7.. bday: 39200 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)

previous assets