Theorem cfc_setIntegral

Modification history