Proofgold Object

λ x0 : ι → ι → ι . or (x0 = ChurchBoolTru) (x0 = ChurchBoolFal)

type
(ι → ι → ι) → ο

theory
HotG

name
-

definition
PURih..

Megalodon
-

proofgold address
TMa4h..

creator
9308 PrGxv../ae585..

owner
9308 PrGxv../ae585..

term root
dc351..