v0.11.2
github-actions
released this
02 Dec 16:30
·
2857 commits
to master
since this release
Oscar v0.11.2
Closed issues:
- Marry different implementations of the Chow ring (#1475)
Merged pull requests: