Search for blocks/addresses/...

Proofgold Object

λ x0 x1 . 09072.. (7b9f3.. (λ x2 . λ x3 : ι → ο . and (ordinal x2) (prim1 (09072.. x2 x3) x0)) (λ x2 . λ x3 : ι → ο . and (ordinal x2) (prim1 (09072.. x2 x3) x1))) (ce2d5.. (λ x2 . λ x3 : ι → ο . and (ordinal x2) (prim1 (09072.. x2 x3) x0)) (λ x2 . λ x3 : ι → ο . and (ordinal x2) (prim1 (09072.. x2 x3) x1)))
type
ιιι
theory
HoTg
name
-
definition
PURFE..
Megalodon
-
proofgold address
TMLqa..
creator
2815 PrGxv../07382..
owner
2815 PrGxv../07382..
term root
3fe3f..