A noncommutative half-angle formula

- Willis, George