A quantum version of Feinstein's Theorem and its application to channel coding | IEEE Conference Publication | IEEE Xplore