Proofgold Proposition

∀ x0 . CSNo x0 ⟶ add_CSNo 0 x0 = x0

type
prop

theory
HotG

name
add_CSNo_0L

proof
PUQvq..

Megalodon
add_CSNo_0L

proofgold address
TMcah..^add_CSNo_0L

creator
28444 PrQUS../46d65..

owner
28444 PrQUS../46d65..

term root
192e4..