Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ι → (ι → ο) → ο . ∀ x1 . ordinal x1∀ x2 : ι → ο . x0 x1 x2PNo_downc x0 x1 x2
as obj
-
as prop
2c3b7..PNo_downc_ref
theory
HF
stx
8964b..
address
TMckt..PNo_downc_ref