List of theorems referencing the symbol C_RECIP
(945) Theorem 823: ((M in Cm) & (M /= C_0)) •imp ((C_Recip(M) in Cm) & ((M •C_TIMES C_Recip(M)) = C_1))