Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . ordinal x0ordinal x1Subq x0 x1Subq (56ded.. x0) (56ded.. x1)
as obj
-
as prop
d7a3e..
theory
HoTg
stx
38a69..
address
TMM26..