Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-04 21:12 247504c8

View on Github →

feat(algebra/lie/cartan_subalgebra): add lemma lie_subalgebra.exists_nested_lie_ideal_of_le_normalizer (#11820)

Estimated changes