Proofgold Proposition

∀ x0 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . Church17_lt6 x0 ⟶ Church17_p x0

type
prop

theory
HotG

name
-

proof
PUZqC..

Megalodon
-

proofgold address
TMQXA..

creator
31261 Pr4zB../0b6e0..

owner
31261 Pr4zB../0b6e0..

term root
b0f02..