Theorem cfc_eq_cfcL

Modification history