Theorem isArtinian_of_fg_of_artinian'

Modification history

2023-11-20 21:32

Mathlib/RingTheory/Artinian.lean

feat: if a Lie algebra has non-degenerate Killing form then its Cartan subalgebras are Abelian (#8430) …

Deleted isArtinian_of_fg_of_artinian'View on Github →

2023-05-21 22:16

Mathlib/RingTheory/Artinian.lean

feat: port RingTheory.Artinian (#4104)

Added isArtinian_of_fg_of_artinian'View on Github →