Proofgold Proposition

∀ x0 : ((ι → ι) → ι → ι) → ο . x0 (λ x1 : ι → ι . λ x2 . x2) ⟶ (∀ x1 : (ι → ι) → ι → ι . ChurchNum_p x1 ⟶ x0 x1 ⟶ x0 (λ x2 : ι → ι . λ x3 . x2 (x1 x2 x3))) ⟶ ∀ x1 : (ι → ι) → ι → ι . ChurchNum_p x1 ⟶ x0 x1

type
prop

theory
HotG

name
-

proof
PUSRF..

Megalodon
-

proofgold address
TMHhk..

creator
18726 Pr4zB../b6a00..

owner
18726 Pr4zB../b6a00..

term root
303bf..