Talk:Hadamard space

CAT(0) space currently redirects to Hadamard Space, which seems like a mistake: the standard definition of CAT(0) space (with comparison triangles) does not appear anywhere. --Dylan Thurston (talk) 17:43, 9 July 2012 (UTC)