Releases: math-comp/odd-order
The Odd Order Theorem Version 2.3
This is a release of the Odd Order Theorem compatible with Rocq 9.1 and version 2.5.0 of the Mathematical Components library.
The Odd Order Theorem Version 2.2
This is a release of the Odd Order Theorem compatible with versions 2.2.0 to 2.4.0 of the Mathematical Components library.
The Odd Order Theorem Version 2.1
This is a release of the Odd Order Theorem compatible with versions 2.1.0 to 2.3.0 of the Mathematical Components library.
The Odd Order Theorem Version 2.0
This is a release of the Odd Order Theorem compatible with the version 2.0.0 of the Mathematical Components library.
The Odd Order Theorem Version 1.14
This is a release of the Odd Order Theorem compatible with the version 1.13.0 to 1.15.0 of the Mathematical Components library.
The Odd Order Theorem Version 1.13
This is a release of the Odd Order Theorem compatible with the version 1.12.0 to 1.14.0 of the Mathematical Components library.
The Odd Order Theorem Version 1.12
This is a release of the Odd Order Theorem compatible with the version 1.12.0 of the Mathematical Components library.
The Odd Order Theorem Version 1.10
This is a release of the Odd Order Theorem compatible with the version 1.10.0 of the Mathematical Components library.
The Odd Order Theorem version 1.7.0
This is a release of the Odd Order Theorem compatible with the version 1.7.0 of the Mathematical Components library.