P
Initializing...
A nonzero joint isotypic projector of $H^I$ forces $\prod_i d_{a_i}\le\dim E$ · Prove2Me