Proofgold Object

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

type
CN (ι → ι)

theory
HotG

name
ChurchNum_ii_7

definition
PUfKL..

Megalodon
-

proofgold address
TMc45..

creator
15546 Pr4zB../6003b..

owner
15546 Pr4zB../6003b..

term root
22026..