Theorem cfc_setIntegral'

Modification history