Flyspeck/lemma-1-2-a.elf

lemma-1-2-a : &#124;- sin (X + Y) == sin X * cos Y + cos X * sin Y.