The Odd Order Theorem Version 1.10
·
98 commits
to master
since this release
This is a release of the Odd Order Theorem compatible with the version 1.10.0 of the Mathematical Components library.