Proofgold Proposition

∀ x0 . CSNo x0 ⟶ mul_CSNo 1 x0 = x0

type
prop

theory
HotG

name
mul_CSNo_1L

proof
PUQvq..

Megalodon
mul_CSNo_1L

proofgold address
TMJWU..^mul_CSNo_1L

creator
28444 PrQUS../83968..

owner
28444 PrQUS../83968..

term root
2c05c..