Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . CSNo x0CSNo x1CSNo x2mul_CSNo x0 (add_CSNo x1 x2) = add_CSNo (mul_CSNo x0 x1) (mul_CSNo x0 x2)
type
prop
theory
HotG
name
-
proof
PUNr2..
Megalodon
mul_CSNo_distrL
proofgold address
TMNGD..mul_CSNo_distrL
creator
12547 PrGxv../9bfab..
owner
12547 PrGxv../9bfab..
term root
1a3b6..