A tételhez tartozó fájlok

Base sizes of primitive groups: Bounds with explicit constants