Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . ordinal x0TransSet x0
as obj
-
as prop
339db..ordinal_TransSet
theory
HF
stx
82de5..
address
TMYdv..ordinal_TransSet