P
Initializing...
Corollary 9: intertwining and Kraus-range commutation · Prove2Me