Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . (∀ x2 . x2x0nIn x2 x1)atleastp 6 (binunion x0 x1)atleastp x0 1atleastp x1 (prim4 2)False
as obj
-
as prop
89205..
theory
HotG
stx
84d03..
address
TMUGR..