Prosolvable group (source code)

= Prosolvable group
{wiki=Prosolvable_group}