Proofgold Object

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

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

theory
HotG

name
permargs_i_1_0_3_2_4_5

definition
PUQF9..

Megalodon
-

proofgold address
TMYoE..

creator
20350 Pr4zB../ef0d1..

owner
20350 Pr4zB../ef0d1..

term root
d9689..