Flyspeck/lemma-1-8.elf

lemma-1-8 : &#124;- tan(pi / ! 4) == one.