Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
x0
∈
SNoS_
(
ordsucc
omega
)
⟶
x0
=
SNoCut
(
SNoL_omega
x0
)
(
SNoR_omega
x0
)
type
prop
theory
HotG
name
-
proof
PUVu4..
Megalodon
SNoS_ordsucc_omega_SNoL_SNoR_omega
proofgold address
TMHNA..
SNoS_ordsucc_omega_SNoL_SNoR_omega
creator
5368
Pr6Pc..
/
3c08f..
owner
5368
Pr6Pc..
/
3c08f..
term root
0e7b9..