Theorem isArtinian_of_finite

Modification history

2025-07-31 17:11
Mathlib/RingTheory/Artinian/Module.lean
chore: scope or remove some instances (#27592) …
Added isArtinian_of_finiteView on Github →