Proofgold Term Root Disambiguation

∀ x0 x1 : ι → (ι → ο) → ο . 3f2f5.. x0 x1 ⟶ 3f2f5.. (PNo_downc x0) (PNo_upc x1)

as obj
-

as prop
aaa5d..^{PNoLt_pwise_downc_upc}

theory
HF

stx
8964b..

address
TMHMD..^{PNoLt_pwise_downc_upc}