Template:Left-extensibility-stable subgroup property

Left-extensibility-stable subgroup property