Theorem eq_isotypicComponent_of_le

Modification history