Theorem isArtinian_of_surjective

Modification history

2026-09-11 10:13

Mathlib/RingTheory/Artinian/Module.lean

refactor: replace `IsWellFounded` with `WellFounded` (#42351) …

Modified isArtinian_of_surjective View on Github →

2023-05-21 22:16

Mathlib/RingTheory/Artinian.lean

feat: port RingTheory.Artinian (#4104)

Added isArtinian_of_surjective View on Github →