Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . ac767.. x0 x0 = b5c9f.. x0 (4ae4a.. (4ae4a.. 4a7ef..))

as obj
-

as prop
158f3..

theory
HoTg

stx
ab18e..

address
TMTmx..