Flyspeck/lemma-1-2-b.elf

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