inline "cic:/CoRN/algebra/CFields/CField_is_CField.con".
inline "cic:/CoRN/algebra/CFields/rcpcl_is_inverse.con".
(* UNEXPORTED
inline "cic:/CoRN/algebra/CFields/CField_is_CField.con".
inline "cic:/CoRN/algebra/CFields/rcpcl_is_inverse.con".
(* UNEXPORTED