Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Group.surjective_of_epi_auxs.one_smul

Modification history