mathlib3
6d2cbf9d - feat(ring_theory/artinian): Artinian modules (#9009)

Commit

4 years ago

feat(ring_theory/artinian): Artinian modules (#9009) Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>

Author

ChrisHughes24

Parents