Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . atleast6 x0∀ x1 : ο . (∀ x2 . and (Subq x2 x0) (and (not (Subq x0 x2)) (atleast5 x2))x1)x1
as obj
-
as prop
5a74c..atleast6_E
theory
HF
stx
8a441..
address
TMcHs..atleast6_E