[Merged by Bors] - feat: define finite length modules and show equivalence with IsNoetherian ∧ IsArtinian
#5765
This job was skipped
Loading
IsNoetherian ∧ IsArtinian
#5765