A theorem on induced corepresentations and applications to finite group theory
scientific article; zbMATH DE number 3537939