Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ι → ο . ((∀ x1 . not (x0 x1))False)(x0 (Eps_i x0)False)False
as obj
-
as prop
9c6aa..tab_Eps_i
theory
HF
stx
dda19..
address
TMTdD..tab_Eps_i