Proofgold Proposition

∀ x0 . CSNo x0 ⟶ mul_CSNo x0 1 = x0

type
prop

theory
HotG

name
mul_CSNo_1R

proof
PUQvq..

Megalodon
mul_CSNo_1R

proofgold address
TMV2p..^mul_CSNo_1R

creator
28444 PrQUS../68e33..

owner
28444 PrQUS../68e33..

term root
0cbba..