Skip to content
Post PR summary comment

refactor: introduce Ideal.IsTwoSided class for quotients of noncommutative rings #24710

Sign in to view logs

refactor: introduce Ideal.IsTwoSided class for quotients of noncommutative rings

refactor: introduce Ideal.IsTwoSided class for quotients of noncommutative rings #24710

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
36s
36s