Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
SNo
x0
⟶
SNoCutP
(
prim5
(
SNoR
x0
)
minus_SNo
)
(
prim5
(
SNoL
x0
)
minus_SNo
)
type
prop
theory
HotG
name
minus_SNo_SNoCutP
proof
PUK1b..
Megalodon
minus_SNo_SNoCutP
proofgold address
TMYA5..
minus_SNo_SNoCutP
creator
4949
Pr6Pc..
/
c8ea1..
owner
4949
Pr6Pc..
/
c8ea1..
term root
99c6f..