Subnormality is not permuting upper join-closed

From Groupprops
Jump to: navigation, search