Proofgold Proposition

∀ x0 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . Church17_p x0 ⟶ bb6a5.. x0 x0 = λ x2 x3 . x3

type
prop

theory
HotG

name
-

proof
PUXqr..

Megalodon
-

proofgold address
TMUr8..

creator
19221 Pr4zB../aa177..

owner
19221 Pr4zB../aa177..

term root
8ec16..