Commit 2024-12-20 15:50 53defdf1
View on Github →feat(Algebra/Module): presentation of the tensor product (#18432)
Given presentations of two A-modules M₁ and M₂, we obtain a presentation of M₁ ⊗[A] M₂.
feat(Algebra/Module): presentation of the tensor product (#18432)
Given presentations of two A-modules M₁ and M₂, we obtain a presentation of M₁ ⊗[A] M₂.