Theorem isIntegral_zero

Modification history