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

Thmoas-Guan wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

Thmoas-Guan:spanRank-eq-oneThmoas-Guan/mathlib4_fork:spanRank-eq-oneCopy head branch name to clipboard