math-comp
math-comp copied to clipboard
[DO NOT MERGE] Relorder
Motivation for this change
This is an experimental feature of the order hierarchy based on #464. I open this PR just to run CI.
Things done/to do
- [ ] added corresponding entries in
CHANGELOG_UNRELEASED.md(do not edit former entries) - [ ] added corresponding documentation in the headers
Automatic note to reviewers
Read this Checklist and make sure there is a milestone.