refactor: introduce Ideal.IsTwoSided class for quotients of noncommutative rings#17930
Open
alreadydone wants to merge 89 commits intomasterfrom Ideal.IsTwoSided
+469-306
Commits
Commits on Oct 14, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
Commits on Oct 18, 2024
- authored
- authored
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 19, 2024
- committed
- committed
- committed
- committed
Commits on Oct 21, 2024
Commits on Nov 8, 2024
- committed
- committed
- authored
- authored
- committed
- committed
Commits on Nov 9, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- authored
- authored
- committed
Commits on Nov 10, 2024
- committed
- committed
- authored
- committed
- committed
- committed
Commits on Nov 11, 2024
Commits on Nov 13, 2024
- authored
- authored
- committed
- committed
- committed
Commits on Nov 17, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Nov 18, 2024
Commits on Nov 20, 2024
Commits on Nov 25, 2024
Commits on Dec 2, 2024
Commits on Dec 4, 2024
Commits on Dec 5, 2024
- committed
- authored
- committed
- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}