Theorem cfc_eq_cfcL_mkD

Modification history