Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . ∀ x1 : ι → ι . ∀ x2 x3 . nIn x2 (Repl x0 x1)(nIn x3 x0False)(not (x2 = x1 x3)False)False
as obj
-
as prop
b0098..tab_neg_Repl
theory
HF
stx
8a441..
address
TMSNW..tab_neg_Repl