rename orderings: revlex->invlex,rp->ip...introduce deginvlex #1167
CI.yml
on: pull_request
Documentation
2m 41s
Matrix: test
Annotations
1 error
test (nightly, ubuntu-latest)
Process completed with exit code 1.
|
test (nightly, ubuntu-latest)
Process completed with exit code 1.
|