Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . atleast5 x0∀ x1 : ο . (∀ x2 . and (Subq x2 x0) (and (not (Subq x0 x2)) (atleast4 x2))x1)x1
as obj
-
as prop
ee384..atleast5_E
theory
HF
stx
8a441..
address
TMMWi..atleast5_E