Theorem circleIntegral.integral_sub_inv_smul_sub_smul

Modification history