Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . 236dc.. (f4dc0.. (ce322.. x0)) (f4dc0.. (f6a32.. x0))

as obj
8428d..

as prop
-

theory
HoTg

stx
720c4..

address
TMLg9..