Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . ordinal x1ordinal x2SNo_ x1 x0SNo_ x2 x0Subq x1 x2
as obj
-
as prop
21c1b..SNoLev_uniq_Subq
theory
HF
stx
8964b..
address
TMW24..SNoLev_uniq_Subq