Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . ∃ x1 . and (and (Subq x1 x0) (ac550.. x1)) (nSubq x0 x1)
as obj
05043..
as prop
-
theory
HF
stx
5b15d..
address
TMEzV..