Proofgold Object

λ x0 x1 : (ι → ι) → ι → ι . λ x2 : ι → ι . x0 (x1 (x1 (x0 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x0 (x1 (x0 (x1 (x0 (x1 (x1 (x1 (x0 (x1 (x0 (x0 (x1 (x1 (x1 (x1 (x1 (x1 (x1 (x1 (x0 (x0 (x0 (x1 (x1 (x1 (x0 (x1 (x0 (x0 (x0 (x0 (x1 (x1 (x0 (x1 (x1 (x1 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x0 (x1 (x1 (x0 (x0 (x1 (x0 (x0 (x1 (x1 (x1 (x1 (x1 (x0 (x1 (x0 (x1 (x0 (x1 (x0 (x1 (x1 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x0 (x1 (x0 (x1 (x1 (x1 (x1 (x1 (x0 (x0 (x0 (x0 (x0 (x0 (x1 (x0 (x0 (x1 (x0 (x1 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x0 (x0 (x1 (x0 (x0 (x1 (x1 (x1 (x0 (x0 (x1 (x0 x2)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

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

theory
HotG

name
-

definition
PUS6Z..

Megalodon
-

proofgold address
TMay9..

creator
39140 PrCmT../9cde7..

owner
39171 PrCmT../bbe63..

term root
d8421..