Flyspeck/lemma-1-1.elf

lemma-1-1 : &#124;- sqr (sin X) + sqr (cos X) == one.