- added corresponding entries in
CHANGELOG_UNRELEASED.md
- added corresponding documentation in the headers
- tried to abide by the contribution guide
- I added the label
TODO: MC-1 portto make sure someone ports this PR to themathcomp-1branch or I already opened an issue or PR (please cross reference).
Read this Checklist and put a milestone if possible.