Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . CSNo x0CSNo x1CSNo_Im (add_CSNo x0 x1) = add_SNo (CSNo_Im x0) (CSNo_Im x1)
as obj
-
as prop
2fac0..add_CSNo_CIm
theory
HotG
stx
93147..
address
TMLwh..add_CSNo_CIm