List of theorems referencing the symbol C_1

(927) Theorem 825: (C_0 in Cm) & (C_1 in Cm)
(944) Theorem 822: (M in Cm) •imp ((M = (M •C_TIMES C_1)) & (M = (C_1 •C_TIMES M)))
(945) Theorem 823: ((M in Cm) & (M /= C_0)) •imp ((C_Recip(M) in Cm) & ((M •C_TIMES C_Recip(M)) = C_1))