Commit 2026-03-20 18:13 f9f43881
View on Github →feat(RingTheory): some lemma about span rank (#35337)
In this PR, we proved that for local ring (R,m), the span rank of M is equal to dimension of M/mM over R/m when M is fg.
feat(RingTheory): some lemma about span rank (#35337)
In this PR, we proved that for local ring (R,m), the span rank of M is equal to dimension of M/mM over R/m when M is fg.