P
Initializing...
The commutant of $igoplus_lpha L(\mathcal H_{r_lpha})\otimes I$ is $igoplus_lpha I\otimes L(\mathcal H_{\overline r_lpha})$ · Prove2Me