Homomorph-containment is quotient-transitive

From Groupprops
Jump to: navigation, search