Theorem cfc_apply_mkD

Modification history