Theorem Real.cos_nat_mul_pi_sub

Modification history