Formal development of the mathematical theory of quantum information with clear proofs and exercises. For graduate students and researchers.