[Merged by Bors] - feat: define finite length modules and show equivalence with IsNoetherian ∧ IsArtinian
#58855
Job | Run time |
---|---|
1m 33s | |
49s | |
2m 22s |
IsNoetherian ∧ IsArtinian
#58855
Job | Run time |
---|---|
1m 33s | |
49s | |
2m 22s |