Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . ∀ x1 : ι → ι . ∀ x2 x3 . nIn x2 (famunion x0 x1)(nIn x3 x0False)(nIn x2 (x1 x3)False)False
as obj
-
as prop
e3f8b..tab_neg_famunion
theory
HF
stx
dda19..
address
TMT5J..tab_neg_famunion