Theorem Real.Angle.cos_sub_pi

Modification history