Proofgold Object

λ x0 x1 . x1

type
ι → ι → ι

theory
HotG

name
ChurchBoolFal

definition
PURih..

Megalodon
-

proofgold address
TMUE6..

creator
9308 PrGxv../72ee7..

owner
9308 PrGxv../72ee7..

term root
104bd..