Proofgold Object

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

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

theory
HotG

name
ChurchNum_plus

definition
PUMJH..

Megalodon
-

proofgold address
TMH2P..

creator
17169 PrHSW../639f9..

owner
17169 PrHSW../639f9..

term root
e641a..