Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . CSNo x0 ⟶ CSNo x1 ⟶ minus_CSNo (add_CSNo x0 x1) = add_CSNo (minus_CSNo x0) (minus_CSNo x1)
type
prop
theory
HotG
name
-
proof
PUVhm..
Megalodon
-
proofgold address
TMXaC..
creator
12595 PrGxv../ff226..
owner
12595 PrGxv../ff226..
term root
90a66..