Flyspeck/lemma-1-3-a.elf

lemma-1-3-a : &#124;- cos (~ X) == ~ (cos X).