Skip to content

Add Embedding and Projection for direct sums of rings - #6702

Merged
fingolfin merged 7 commits into
masterfrom
embed2
Oct 15, 2026
Merged

Add Embedding and Projection for direct sums of rings#6702
fingolfin merged 7 commits into
masterfrom
embed2

Update lib/ringsc.gi

7531248
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar