Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . SNo x0mul_SNo (minus_SNo x0) (minus_SNo x0) = mul_SNo x0 x0
type
prop
theory
HotG
name
-
proof
PUZgE..
Megalodon
-
proofgold address
TMdWf..
creator
28850 Pr5Zc../7de28..
owner
28850 Pr5Zc../7de28..
term root
35564..