Proofgold Object

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

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

theory
HotG

name
ChurchNum_mult

definition
PUMJH..

Megalodon
-

proofgold address
TMSRn..

creator
17169 PrHSW../fcedb..

owner
17169 PrHSW../fcedb..

term root
6b892..