Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . atleast2 x0∀ x1 : ο . (∀ x2 . and (In x2 x0) (not (Subq x0 (Power x2)))x1)x1
as obj
-
as prop
ffa80..atleast2_E
theory
HF
stx
8a441..
address
TMLuj..atleast2_E