Proofgold Object

λ x0 x1 . Church6_to_u6 (Church6_squared_permutation__1_0_3_2_4_5__1_0_3_2_4_5__1_0_3_2_4_5__1_0_3_2_4_5__1_0_3_2_4_5__1_0_3_2_4_5 (nth_6_tuple x0) (nth_6_tuple x1))

type
ι → ι → ι

theory
HotG

name
u6_squared_permutation__1_0_3_2_4_5__1_0_3_2_4_5__1_0_3_2_4_5__1_0_3_2_4_5__1_0_3_2_4_5__1_0_3_2_4_5

definition
PULXW..

Megalodon
-

proofgold address
TMaDK..

creator
20906 Pr4zB../63008..

owner
20906 Pr4zB../63008..

term root
7f2a0..