Manuscript Hawk05-C@1 · Hawk05-C.tex · section · ba0719f1
Complete interfaces and the two return types
Complete interfaces and the two return types · lines 391–396
This is the standard exact correction criterion KnillLaflamme,CheungEm05B, not a new theorem supplied merely by the Enter terminology.