Skip to content

feat(Algebra/Module): lemma for spanFinrank eq one#40813

Open
Thmoas-Guan wants to merge 1 commit into
leanprover-community:masterfrom
Thmoas-Guan:spanRank-eq-one
Open

feat(Algebra/Module): lemma for spanFinrank eq one#40813
Thmoas-Guan wants to merge 1 commit into
leanprover-community:masterfrom
Thmoas-Guan:spanRank-eq-one

add lemma for span rank one

1cf0e90
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
label-and-report-new-contributor
succeeded Jun 19, 2026 in 6s