Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . 80242.. x0 ⟶ Subq (e4431.. (f4dc0.. x0)) (e4431.. x0)

as obj
-

as prop
e1909..

theory
HoTg

stx
ab965..

address
TMN29..