Commit 2025-07-31 18:12 6ccf9773
View on Github →chore(RingTheory/Spectrum/Prime/LTSeries): fix author name and golf (#27760) Fix author name and golf.
chore(RingTheory/Spectrum/Prime/LTSeries): fix author name and golf (#27760) Fix author name and golf.