Intermediate characteristicity is quotient-transitive

From Groupprops
Jump to: navigation, search