inline "cic:/CoRN/algebra/CRings/included_FScalMult.con".
inline "cic:/CoRN/algebra/CRings/included_FScalMult'.con".
(* UNEXPORTED
inline "cic:/CoRN/algebra/CRings/included_FScalMult.con".
inline "cic:/CoRN/algebra/CRings/included_FScalMult'.con".
(* UNEXPORTED