Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . binunion (CSNoLev (HSNo_proj0 x0)) (CSNoLev (HSNo_proj1 x0))
as obj
c05a1..HSNoLev
as prop
-
theory
HotG
stx
43801..
address
TMG2X..HSNoLev