Theorem integral_mul_rpow_one_add_sq

Modification history