Theorem integral_exp_Iic

Modification history