Theorem integral_im

Modification history