Theorem integral_mul_cpow_one_add_sq

Modification history