Skip to content

Add Embedding and Projection for direct sums of algebras - #6618

Open
cdwensley wants to merge 19 commits into
masterfrom
embed
Open

Add Embedding and Projection for direct sums of algebras#6618
cdwensley wants to merge 19 commits into
masterfrom
embed

added DirectSumOfMatrixAlgebras to remove duplication in algmat.gi

058206d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar