Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . not (6eae3.. x0)
as obj
c036a..
as prop
-
theory
HoTg
stx
f96db..
address
TMbDx..