Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 : ο . not (and x0 x1)or (not x0) (not x1)
as obj
-
as prop
d5474..
theory
HoTg
stx
7cde0..
address
TMQfs..not_and_or_demorgan