Search for blocks/addresses/...

Proofgold Term Root Disambiguation

91fd5.. (91fd5.. 1f2c4.. (57d6a.. 67794.. 5b8fe..)) (57d6a.. 67794.. 5b8fe..)

as obj
657ef..

as prop
-

theory
HOAS

stx
ca03b..

address
TMdng..