Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
SNo
x0
⟶
SNoL
(
minus_SNo
x0
)
=
prim5
(
SNoR
x0
)
minus_SNo
type
prop
theory
HotG
name
SNoL_minus_SNoR
proof
PUesu..
Megalodon
SNoL_minus_SNoR
proofgold address
TMTmH..
SNoL_minus_SNoR
creator
12391
PrGxv..
/
249b2..
owner
12391
PrGxv..
/
249b2..
term root
084b2..