Skip to content

Releases: math-comp/odd-order

The Odd Order Theorem Version 2.0

18 Oct 17:03
6fa8ce4
Compare
Choose a tag to compare

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

31 Aug 14:27
833261a
Compare
Choose a tag to compare

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

01 Feb 10:34
687db0e
Compare
Choose a tag to compare

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

16 Dec 15:42
19eb998
Compare
Choose a tag to compare

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

04 Mar 15:04
Compare
Choose a tag to compare

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

24 Apr 16:25
f8e55e0
Compare
Choose a tag to compare

This is a release of the Odd Order Theorem compatible with the version 1.7.0 of the Mathematical Components library.