Commit 2023-06-29 20:50 5d442693

View on Github →

chore: remove superfluous parentheses around integrals (#5591)

Estimated changes

modified theorem integral_exp_Iic
modified theorem integral_exp_Iic_zero
modified theorem integral_cos
modified theorem integral_cos_sq
modified theorem integral_exp
modified theorem integral_id
modified theorem integral_inv
modified theorem integral_inv_of_neg
modified theorem integral_inv_of_pos
modified theorem integral_one_div
modified theorem integral_pow
modified theorem integral_pow_abs_sub_uIoc
modified theorem integral_sin
modified theorem integral_sin_mul_cos₁
modified theorem integral_sin_mul_cos₂
modified theorem integral_sin_sq
modified theorem MeasureTheory.integral_univ