Theorem eq_isotypicComponent_iff

Modification history