Commit 2021-09-24 19:49 c794c5c8

chore(linear_algebra/basic): split out quotients and isomorphism theorems (#9332) linear_algebra.basic had become a very large file; I think too unwieldy to even be able to edit. Fortunately there are some natural splits on content. I moved everything about quotients out to linear_algebra.quotient. Happily many files in linear_algebra/ don't even need this, so we also get some significant import reductions. I've also moved Noether's three isomorphism theorems for submodules to their own file.