Skip to content
Label New Contributors

feat(RingTheory/Artinian): rewrite results using spectra types instead of sets #55693

Sign in to view logs

feat(RingTheory/Artinian): rewrite results using spectra types instead of sets

feat(RingTheory/Artinian): rewrite results using spectra types instead of sets #55693

Annotations

1 warning

label-and-report-new-contributor

label-and-report-new-contributor
succeeded Jan 22, 2025 in 3s