b l a t h e
o f
von_neumann
c_star_algebra