Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Group.surjective_of_epi_auxs.τ_apply_from_coset'

Modification history