Releases: math-comp/odd-order
Releases · math-comp/odd-order
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.