Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . In (setsum 1 x1) x0In x1 (proj1 x0)
as obj
-
as prop
16411..proj1I
theory
HF
stx
cbc45..
address
TMH4t..proj1I