Theorem integral_pow_abs_sub_uIoc

Modification history