Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . CSNo x0CSNo x1CSNo x2mul_CSNo x0 (mul_CSNo x1 x2) = mul_CSNo (mul_CSNo x0 x1) x2
as obj
-
as prop
8912c..mul_CSNo_assoc
theory
HotG
stx
93147..
address
TMXey..mul_CSNo_assoc