feat(SheafOfModules): LocallyFreeOfRank - #42915

feat(SheafOfModules): LocallyFreeOfRank#42915

Brian-Nugent wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

Brian-Nugent:locally-free-of-rankBrian-Nugent/mathlib4:locally-free-of-rankCopy head branch name to clipboard