Flyspeck/lemma-1-4.elf

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