Proofgold Object

λ x0 x1 x2 x3 x4 x5 x6 . ap (lam 6 (λ x7 . If_i (x7 = 0) x1 (If_i (x7 = 1) x2 (If_i (x7 = 2) x3 (If_i (x7 = 3) x4 (If_i (x7 = 4) x5 x6)))))) x0

type
ι → ι → ι → ι → ι → ι → ι → ι

theory
HotG

name
nth_6_tuple

definition
PULrD..

Megalodon
-

proofgold address
TMGkd..

creator
19222 Pr4zB../0b2ce..

owner
19222 Pr4zB../0b2ce..

term root
d45c1..