Proofgold Object

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

type
ι → ι → ι

theory
HotG

name
u6_squared_permutation__3_2_1_0_4_5__3_2_1_0_4_5__3_2_1_0_4_5__3_2_1_0_4_5__3_2_1_0_4_5__3_2_1_0_4_5

definition
PULKF..

Megalodon
-

proofgold address
TMZYc..

creator
20914 Pr4zB../88689..

owner
20914 Pr4zB../88689..

term root
4ac37..