Finitely presented and conjugacy-separable implies solvable conjugacy problem

From Groupprops
Jump to: navigation, search