Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . CSNo x0conj_CSNo (minus_CSNo x0) = minus_CSNo (conj_CSNo x0)
as obj
-
as prop
f3259..conj_minus_CSNo
theory
HotG
stx
5ed1a..
address
TMSm6..conj_minus_CSNo