Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
PNoLt_pwise_downc_upc

proofgold address
TMLZd..^{PNoLt_pwise_downc_upc}

creator
2357 PrGxv../de99d..

owner
2357 PrGxv../de99d..

term root
80301..