Search for blocks/addresses/...

Proofgold Term Root Disambiguation

Loop 1 (λ x0 x1 . 0) (λ x0 x1 . 0) (λ x0 x1 . 0) 0
as obj
-
as prop
2b4af..Trivial_Loop
theory
HF
stx
1efa1..
address
TMXSZ..Trivial_Loop