Quelle  cosets.gd   Sprache: unbekannt

DeclareGlobalName( "DoubleCosetIndex" );
DeclareOperation( "DoubleCosetIndexNC", [ IsGroup, IsGroup, IsGroup ] );