Skip to content

The Odd Order Theorem Version 2.3

Latest
Latest

Choose a tag to compare

View all tags
@proux01 proux01 released this 14 Oct 07:31
· 2 commits to master since this release
mathcomp-odd-order.2.3.0
e12aafc
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 Rocq 9.1 and version 2.5.0 of the Mathematical Components library.

Assets 2
Loading