Theorem LieIdeal.derivedSeries_eq_derivedSeriesOfIdeal_comap

Modification history

2023-06-05 05:02
Mathlib/Algebra/Lie/Solvable.lean
feat: port Algebra.Lie.Solvable (#4634)
Added LieIdeal.derivedSeries_eq_derivedSeriesOfIdeal_comapView on Github →