Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . CSNo x0CSNo x1CSNo x2add_CSNo x0 (add_CSNo x1 x2) = add_CSNo (add_CSNo x0 x1) x2
as obj
-
as prop
b63e9..add_CSNo_assoc
theory
HotG
stx
93147..
address
TMNxt..add_CSNo_assoc