Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
SNo
x0
⟶
minus_SNo
x0
=
SNoCut
(
prim5
(
SNoR
x0
)
minus_SNo
)
(
prim5
(
SNoL
x0
)
minus_SNo
)
type
prop
theory
HotG
name
minus_SNo_eq
proof
PUK1b..
Megalodon
minus_SNo_eq
proofgold address
TMQTp..
minus_SNo_eq
creator
4949
Pr6Pc..
/
dcbd4..
owner
4949
Pr6Pc..
/
dcbd4..
term root
c9793..