Theorem cfc_apply_one

Modification history