Skip to content

Finish Wedderburn-Artin decomposition of non-commutative rings#478

Merged
perlinm merged 23 commits into
mainfrom
wad
May 10, 2026
Merged

Finish Wedderburn-Artin decomposition of non-commutative rings#478
perlinm merged 23 commits into
mainfrom
wad

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant