Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . CSNo x0CSNo x1CSNo x2mul_CSNo (add_CSNo x0 x1) x2 = add_CSNo (mul_CSNo x0 x2) (mul_CSNo x1 x2)
as obj
-
as prop
b0c29..
theory
HotG
stx
93147..
address
TMbQD..