Template:Composition computation

From Groupprops

This article describes a computation relating the result of the composition operator on two known subgroup properties , to another known subgroup property