Flyspeck/lemma-1-5.elf

lemma-1-5 : &#124;- sin (pi / ! 2 - X) == cos X.