Theorem sin_pi_mul_neg_div

Modification history