Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . atleast3 x0∀ x1 : ο . (∀ x2 . and (Subq x2 x0) (and (not (Subq x0 x2)) (atleast2 x2))x1)x1
as obj
-
as prop
218d1..atleast3_E
theory
HF
stx
8a441..
address
TMGq9..atleast3_E