Proofgold Object

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

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

theory
HotG

name
permargs_i_2_3_0_1_4_5

definition
PUfSu..

Megalodon
-

proofgold address
TMY3Z..

creator
20353 Pr4zB../72cc5..

owner
20353 Pr4zB../72cc5..

term root
49ee0..