Proofgold Proposition

ChurchBoolTru = λ x1 x2 . x1

type
prop

theory
HotG

name
-

proof
PURih..

Megalodon
-

proofgold address
TMc1P..

creator
9308 PrGxv../10197..

owner
9308 PrGxv../10197..

term root
af7df..