Proofgold Proposition

∀ x0 . CSNo_pair x0 0 = x0

type
prop

theory
HotG

name
CSNo_pair_0

proof
PUgzA..

Megalodon
CSNo_pair_0

proofgold address
TMQYG..^CSNo_pair_0

creator
28464 PrQUS../d5a0c..

owner
28464 PrQUS../d5a0c..

term root
4db8e..