[Merged by Bors] - feat(Mathlib/LinearAlgebra): embeddings of free modules#37919
Closed
artie2000 wants to merge 8 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - feat(Mathlib/LinearAlgebra): embeddings of free modules#37919artie2000 wants to merge 8 commits intoleanprover-community:masterfrom
artie2000 wants to merge 8 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 11, 2026
- committed
- committed
Commits on Apr 13, 2026
Commits on Apr 14, 2026
- andauthored
- authored
