Skip to content

[Merged by Bors] - feat(Algebra/Star/StarRingHom): Add non-unital star ring homomorphisms - #12924

Closed
mans0954 wants to merge 53 commits into
masterfrom
mans0954/NonUnitalStarRingHom
Closed

[Merged by Bors] - feat(Algebra/Star/StarRingHom): Add non-unital star ring homomorphisms#12924
mans0954 wants to merge 53 commits into
masterfrom
mans0954/NonUnitalStarRingHom

Merge branch 'master' into mans0954/NonUnitalStarRingHom

822b578
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs