Proofgold Object

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

type
(ι → ι) → ι → ι

theory
HotG

name
ChurchNum2

definition
PUfKL..

Megalodon
-

proofgold address
TMJeX..

creator
15546 Pr4zB../a148f..

owner
15546 Pr4zB../a148f..

term root
a49fb..