Proofgold Proposition

∀ x0 . CSNo x0 ⟶ mul_CSNo 1 x0 = x0

type
prop

theory
HotG

name
-

proof
PUNr2..

Megalodon
mul_CSNo_oneL

proofgold address
TMb6D..^{mul_CSNo_oneL}

creator
12547 PrGxv../65c8e..

owner
12547 PrGxv../65c8e..

term root
0d9bf..