Proofgold Proposition

∀ x0 : ι → (ι → ο) → ο . ∀ x1 . ordinal x1 ⟶ ∀ x2 : ι → ο . x0 x1 x2 ⟶ PNo_downc x0 x1 x2

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
PNo_downc_ref

proofgold address
TMXcS..^{PNo_downc_ref}

creator
2357 PrGxv../75cf5..

owner
2357 PrGxv../75cf5..

term root
52380..