Theorem LieAlgebra.IsSimple.isAtom_top

Modification history

2025-05-01 06:42

Mathlib/Algebra/Lie/Semisimple/Basic.lean

feat: preliminaries for Wedderburn–Artin (#24119)

Deleted LieAlgebra.IsSimple.isAtom_top View on Github →

2024-05-28 14:16

Mathlib/Algebra/Lie/Semisimple.lean

feat(Algebra/Lie/Semisimple): API for semisimple Lie algebras (#13217) …

Added LieAlgebra.IsSimple.isAtom_top View on Github →