Theorem cfc_comp_neg

Modification history