Mathlib v3 is deprecated. Go to Mathlib v4

Theorem alternating_group.normal_closure_swap_mul_swap_five

Modification history