Search for blocks/addresses/...

Proofgold Object

λ x0 . λ x1 : ι → ι → ι . 0fc90.. (4ae4a.. (4ae4a.. 4a7ef..)) (λ x2 . If_i (x2 = 4a7ef..) x0 (eb53d.. x0 x1))
type
ιCT2 ι
theory
HoTg
name
-
definition
PUUUw..
Megalodon
-
proofgold address
TMJ7F..
creator
2814 PrGxv../0d324..
owner
2814 PrGxv../0d324..
term root
71348..