Complex sentence: The matrices\\ are called "Kraus operators" This theorem is proved in the Nielsen and Chuang reference, Theorem 8.1.
Split into simpler sentences: The matrices\\ are called "Kraus operators". This is proved in the Nielsen and Chuang reference, Theorem 8.1.