Join of finitely many direct factors

From Groupprops
Jump to: navigation, search