Search for blocks/addresses/...
Proofgold Object
λ x0 x1 .
PSNo
(
PNo_bd
(
λ x2 .
λ x3 :
ι → ο
.
and
(
ordinal
x2
)
(
PSNo
x2
x3
∈
x0
)
)
(
λ x2 .
λ x3 :
ι → ο
.
and
(
ordinal
x2
)
(
PSNo
x2
x3
∈
x1
)
)
)
(
PNo_pred
(
λ x2 .
λ x3 :
ι → ο
.
and
(
ordinal
x2
)
(
PSNo
x2
x3
∈
x0
)
)
(
λ x2 .
λ x3 :
ι → ο
.
and
(
ordinal
x2
)
(
PSNo
x2
x3
∈
x1
)
)
)
type
ι
→
ι
→
ι
theory
HotG
name
SNoCut
definition
PUUwp..
Megalodon
SNoCut
proofgold address
TMP7d..
SNoCut
creator
4910
Pr6Pc..
/
bfb35..
owner
4910
Pr6Pc..
/
bfb35..
term root
ec849..