Proofgold Object

λ x0 : ι → ι → ι → ι → ι → ι → ι . x0 0 u1 u2 u3 u4 u5

type
CT6 ι

theory
HotG

name
Church6_to_u6

definition
PULrD..

Megalodon
-

proofgold address
TMMHi..

creator
19222 Pr4zB../65f3a..

owner
19222 Pr4zB../65f3a..

term root
eb5db..