Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ι → (ι → ο) → ο . ∀ x1 . ∀ x2 : ι → ο . ∀ x3 : ο . (∀ x4 . ordinal x4∀ x5 : ι → ο . x0 x4 x5PNoLe x4 x5 x1 x2x3)PNo_upc x0 x1 x2x3
as obj
-
as prop
9ad5c..PNo_upc_E
theory
HF
stx
8964b..
address
TMRuU..PNo_upc_E