Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 : ο . not (exactly1of2 x0 x1)(x0x1False)(not x0not x1False)False
as obj
-
as prop
6fb1f..tab_neg_exactly1of2
theory
HF
stx
a6670..
address
TMVfS..tab_neg_exactly1of2