Theorem isIntegral_neg

Modification history