Finite direct power-closed characteristic is transitive

From Groupprops
Jump to: navigation, search