\indexentry {Format}{5}
\indexentry {Formation@`Formation'}{6}
\indexentry {Formation@`Formation'}{6}
\indexentry {IsFormation@`IsFormation'}{7}
\indexentry {NameOfFormation@`NameOfFormation'}{7}
\indexentry {ResidualFunctionOfFormation@`ResidualFunctionOfFormation'}{7}
\indexentry {ScreenOfFormation@`ScreenOfFormation'}{7}
\indexentry {SupportOfFormation@`SupportOfFormation'}{7}
\indexentry {ChangedSupport@`ChangedSupport'}{7}
\indexentry {IsIntegrated@`IsIntegrated'}{7}
\indexentry {Integrated@`Integrated'}{7}
\indexentry {formation!equality}{7}
\indexentry {formation!comparison}{7}
\indexentry {Intersection@`Intersection'}{7}
\indexentry {ProductOfFormations@`ProductOfFormations'}{7}
\indexentry {ResidualWrtFormation@`ResidualWrtFormation'}{9}
\indexentry {NilpotentResidual@`NilpotentResidual'}{9}
\indexentry {PResidual@`PResidual'}{9}
\indexentry {PiResidual@`PiResidual'}{9}
\indexentry {CoprimeResidual@`CoprimeResidual'}{9}
\indexentry {ElementaryAbelianProductResidual@`ElementaryAbelianProductResidual'}{9}
\indexentry {FNormalizerWrtFormation@`FNormalizerWrtFormation'}{10}
\indexentry {SystemNormalizer@`SystemNormalizer'}{10}
\indexentry {CoveringSubgroup1@`CoveringSubgroup1'}{11}
\indexentry {CoveringSubgroup2@`CoveringSubgroup2'}{11}
\indexentry {CoveringSubgroupWrtFormation@`CoveringSubgroupWrtFormation'}{11}
\indexentry {CarterSubgroup@`CarterSubgroup'}{11}