Proofgold Proposition

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

type
prop

theory
HoTg

name
-

proof
PUdeW..

Megalodon
-

proofgold address
TML2d..

creator
1652 PrGxv../7be31..

owner
1652 PrGxv../7be31..

term root
35963..