Proofgold Object

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

type
ι → ι → ι

theory
HotG

name
u6_squared_permutation__2_3_0_1_4_5__2_3_0_1_4_5__2_3_0_1_4_5__2_3_0_1_4_5__2_3_0_1_4_5__2_3_0_1_4_5

definition
PUfZZ..

Megalodon
-

proofgold address
TMVMd..

creator
20912 Pr4zB../98730..

owner
20912 Pr4zB../98730..

term root
b5efd..