refactor: introduce Ideal.IsTwoSided class for quotients of noncommutative rings
#4286
Triggered via issue
November 18, 2024 10:26
alreadydone
Status
Success
Total duration
10s
Artifacts
–
maintainer_merge.yml
on: issue_comment
Ping maintainers on Zulip
2s