Commit 2025-04-07 19:05 c8a1ebaa
View on Github →chore(RingTheory/Spectrum/Prime): golf and generalize to semirings (#23742) See https://stacks.math.columbia.edu/tag/00FK#comment-10079 for a mathematical exposition of the golfs.
chore(RingTheory/Spectrum/Prime): golf and generalize to semirings (#23742) See https://stacks.math.columbia.edu/tag/00FK#comment-10079 for a mathematical exposition of the golfs.