Proofgold Object

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

type
(ι → ι) → ι → ι

theory
HotG

name
ChurchNum4

definition
PUMJH..

Megalodon
-

proofgold address
TMWmE..

creator
17169 PrHSW../25808..

owner
17169 PrHSW../25808..

term root
44508..