Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . SNo x0SNo x1minus_SNo (add_SNo (minus_SNo x0) x1) = add_SNo x0 (minus_SNo x1)
as obj
-
as prop
a4d5d..minus_add_SNo_distr_m
theory
HotG
stx
0b941..
address
TMQew..minus_add_SNo_distr_m