Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 . binunion x0 {SetAdjoin x2 (Sing 2)|x2 ∈ x1}
as obj
88bcd..SNo_pair
as prop
-
theory
HotG
stx
2fb59..
address
TMQqN..SNo_pair