Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . 158d3.. x0 = 94f9e.. (1ad11.. x0 (91630.. 4a7ef..)) 158d3..

as obj
-

as prop
626b2..

theory
HoTg

stx
3d651..

address
TMNvm..