Theorem integral_exp

Modification history