Skip to content
Back to pull request #17478

[Merged by Bors] - feat: define finite length modules and show equivalence with IsNoetherian ∧ IsArtinian #22466

Sign in to view logs

[Merged by Bors] - feat: define finite length modules and show equivalence with IsNoetherian ∧ IsArtinian

[Merged by Bors] - feat: define finite length modules and show equivalence with IsNoetherian ∧ IsArtinian #22466

Triggered via pull request October 7, 2024 22:42
@alreadydonealreadydone
synchronize #17478
jyxu/FiniteLength
Status Success
Total duration 44s
Artifacts –

PR_summary.yml

on: pull_request
build
37s
build
Fit to window
Zoom out
Zoom in