Dimension of direct product is sum of dimensions

From Groupprops
Jump to: navigation, search