Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 .
ordinal
x0
⟶
ordinal
x1
⟶
add_SNo
(
minus_SNo
(
ordsucc
x0
)
)
(
ordsucc
x1
)
=
add_SNo
(
minus_SNo
x0
)
x1
type
prop
theory
HotG
name
-
proof
PUTs8..
Megalodon
-
proofgold address
TMa9L..
creator
29423
Pr5Zc..
/
c550b..
owner
29423
Pr5Zc..
/
c550b..
term root
97f14..