Draft:Xu–Zikatanov identity

  1. redirect Hilbert space