Skip to content

The Odd Order Theorem Version 2.1
Compare
Choose a tag to compare
@proux01 proux01 released this 04 Jan 11:46
· 12 commits to master since this release
mathcomp-odd-order.2.1.0
2bee03d
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

This is a release of the Odd Order Theorem compatible with versions 2.1.0 to 2.3.0 of the Mathematical Components library.

Assets 2
Loading