Proofgold Object

λ x0 x1 . x0

type
ι → ι → ι

theory
HotG

name
ChurchBoolTru

definition
PURih..

Megalodon
-

proofgold address
TMZev..

creator
9308 PrGxv../0a08e..

owner
9308 PrGxv../0a08e..

term root
75223..