Direct sum of representations

Redirect to:

• Direct sum#Direct sum of group representations