b l a t h e
o f
functional_analysis
adjoints
c_star_algebra
hilbert_space