Flyspeck/lemma-1-3-b.elf

lemma-1-3-b : &#124;- sin (~ X) == ~ (sin X).