Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . ordinal x1ordinal x21beb9.. x1 x01beb9.. x2 x0Subq x1 x2
as obj
-
as prop
7294e..
theory
HoTg
stx
38a69..
address
TMaDn..