Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lie_module.le_max_triv_iff_bracket_eq_bot

Modification history