Search for blocks/addresses/...

Proofgold Object

λ x0 x1 : ι → ι . λ x2 . and (9a7b4.. x0 x1 x2) (e8533.. (λ x3 : ι → ι . or (x3 = x0) (x3 = x1)) x2)
type
(ιι) → (ιι) → ιο
theory
HoTg
name
-
definition
PUdeW..
Megalodon
-
proofgold address
TMGiG..
creator
1652 PrGxv../02dca..
owner
1652 PrGxv../02dca..
term root
31a8b..