Proofgold Proposition

∀ x0 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . Church17_p x0 ⟶ Church17_p (Church17_perm_1_3_0_2_5_7_4_6_10_8_11_9_13_14_15_12 x0)

type
prop

theory
HotG

name
-

proof
PULzF..

Megalodon
-

proofgold address
TMc4M..

creator
19311 Pr4zB../cb802..

owner
19311 Pr4zB../cb802..

term root
ab6e9..