Mathlib v3 is deprecated. Go to Mathlib v4

Theorem not_solvable_of_mem_derived_series

Modification history