Search for blocks/addresses/...
Proofgold Object
λ x0 :
(
ι → ι
)
→ ο
.
λ x1 .
Eps_i
(
λ x2 .
∀ x3 :
ι → ι
.
x0
x3
⟶
x3
x1
=
x2
)
type
(
(
ι
→
ι
) →
ο
) →
ι
→
ι
theory
HF
name
Descr_ii
definition
PUXbj..
Megalodon
Descr_ii
proofgold address
TMNvL..
Descr_ii
creator
1478
PrGxv..
/
848eb..
owner
1478
PrGxv..
/
848eb..
term root
3bae3..