[G : H],[G : K] finite -> [G:H n K] finite

Printable View