Commit 2023-08-06 10:15 d3bfbe43
View on Github →feat: short exact sequence of free modules (#6360) We prove that if the left and right term in a short exact sequence of modules are free, then the middle term is free as well, and related results.
feat: short exact sequence of free modules (#6360) We prove that if the left and right term in a short exact sequence of modules are free, then the middle term is free as well, and related results.