Theorem setIntegral_Ioi_zero_cpow

Modification history