Proofgold Object

λ x0 : ι → ι → ι . x0 = ChurchBoolFal

type
(ι → ι → ι) → ο

theory
HotG

name
-

definition
PURih..

Megalodon
-

proofgold address
TMGG1..

creator
9308 PrGxv../513ae..

owner
9308 PrGxv../513ae..

term root
40d62..