Commit 2025-11-04 08:07 6e59af10
View on Github →feat(RingTheory): finite flat constant rank module over semilocal ring is free (#31241) https://stacks.math.columbia.edu/tag/02M9 As a consequence, the Picard group of any semilocal ring is trivial.
feat(RingTheory): finite flat constant rank module over semilocal ring is free (#31241) https://stacks.math.columbia.edu/tag/02M9 As a consequence, the Picard group of any semilocal ring is trivial.