P
Initializing...
A complete system of matrix units is unitarily equivalent to $igoplus_lpha L(\mathcal H_{r_lpha})\otimes I_{\overline r_lpha}$ · Prove2Me