-
Notifications
You must be signed in to change notification settings - Fork 250
Add a property relating maybe
to composition
#2414
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
Conversation
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.
You'll need to add to CHANGELOG too. But it is a nice little lemma that does seem to be missing, AFAIK.
And as for |
@WhatisRT any progress on the suggested changes? This should be easy to merge once you've done that... |
Done |
Looks great! otherwise sorry for the last nitpick re |
Co-authored-by: jamesmckinna <[email protected]>
This is part of upstreaming properties that seem generally useful.