-
Notifications
You must be signed in to change notification settings - Fork 299
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[Merged by Bors] - feat(group_theory/sub{group,monoid,semiring,ring}): subobjects inherit the actions of their carrier type #7665
Conversation
… the actions of their carrier type
The actions here are very similar to those in #7438 - mind taking a look @fpvandoorn? |
✌️ eric-wieser can now approve this pull request. To approve and merge a pull request, simply reply with |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
bors d+
bors r+ Last commit was just docstrings, and the style linter passed |
…t the actions of their carrier type (#7665) This acts as a generalization of `algebra.of_subsemiring` and `algebra.of_subring`, and transfers the weaker action structures too.
Pull request successfully merged into master. Build succeeded: |
This acts as a generalization of
algebra.of_subsemiring
andalgebra.of_subring
, and transfers the weaker action structures too.