Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . nIn x2 (binunion x0 x1)∀ x3 : ο . (nIn x2 x0nIn x2 x1x3)x3
as obj
-
as prop
17efc..binunion_nIn_E_impred
theory
HF
stx
cb38c..
address
TMHPy..binunion_nIn_E_impred