Theorem isIntegral_add

Modification history