Theorem CompositionSeries.Equivalent.length_eq

Modification history

2023-03-08 14:42
Mathlib/Order/JordanHolder.lean
feat: port Order.JordanHolder (#2578)
Added CompositionSeries.Equivalent.length_eqView on Github →