Theorem cfc_integral

Modification history