Theorem LieSubmodule.ucs_bot_one

Modification history

2023-10-19 21:13
Mathlib/Algebra/Lie/Nilpotent.lean
feat: miscellaneous Lie algebra lemmas (#7782)
Added LieSubmodule.ucs_bot_oneView on Github →