Proofgold Object

λ x0 : ι → ι → ι → ι → ι → ι → ι . λ x1 x2 x3 x4 . x0 x4 x3 x2 x1

type
(ι → ι → ι → ι → ι → ι → ι) → ι → ι → ι → ι → ι → ι → ι

theory
HotG

name
permargs_i_3_2_1_0_4_5

definition
PUKEu..

Megalodon
-

proofgold address
TMNSb..

creator
20354 Pr4zB../f2f64..

owner
20354 Pr4zB../f2f64..

term root
fd218..