Documentation

HexConway.Rabin.S0_5

source
theorem Hex.Conway.luebeckConwayPolynomial_431_1_irreducible :
luebeckConwayPolynomial_431_1.Irreducible

Irreducibility of the imported C(431, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_461_1_irreducible :
luebeckConwayPolynomial_461_1.Irreducible

Irreducibility of the imported C(461, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_139_1_irreducible :
luebeckConwayPolynomial_139_1.Irreducible

Irreducibility of the imported C(139, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_181_1_irreducible :
luebeckConwayPolynomial_181_1.Irreducible

Irreducibility of the imported C(181, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_229_1_irreducible :
luebeckConwayPolynomial_229_1.Irreducible

Irreducibility of the imported C(229, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_71_1_irreducible :
luebeckConwayPolynomial_71_1.Irreducible

Irreducibility of the imported C(71, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_557_1_irreducible :
luebeckConwayPolynomial_557_1.Irreducible

Irreducibility of the imported C(557, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_577_1_irreducible :
luebeckConwayPolynomial_577_1.Irreducible

Irreducibility of the imported C(577, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_653_1_irreducible :
luebeckConwayPolynomial_653_1.Irreducible

Irreducibility of the imported C(653, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_773_1_irreducible :
luebeckConwayPolynomial_773_1.Irreducible

Irreducibility of the imported C(773, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_857_1_irreducible :
luebeckConwayPolynomial_857_1.Irreducible

Irreducibility of the imported C(857, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_977_1_irreducible :
luebeckConwayPolynomial_977_1.Irreducible

Irreducibility of the imported C(977, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_269_1_irreducible :
luebeckConwayPolynomial_269_1.Irreducible

Irreducibility of the imported C(269, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_353_1_irreducible :
luebeckConwayPolynomial_353_1.Irreducible

Irreducibility of the imported C(353, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_401_1_irreducible :
luebeckConwayPolynomial_401_1.Irreducible

Irreducibility of the imported C(401, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_479_1_irreducible :
luebeckConwayPolynomial_479_1.Irreducible

Irreducibility of the imported C(479, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_2_2_irreducible :
luebeckConwayPolynomial_2_2.Irreducible

Irreducibility of the imported C(2, 2).

source
theorem Hex.Conway.luebeckConwayPolynomial_149_1_irreducible :
luebeckConwayPolynomial_149_1.Irreducible

Irreducibility of the imported C(149, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_179_1_irreducible :
luebeckConwayPolynomial_179_1.Irreducible

Irreducibility of the imported C(179, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_233_1_irreducible :
luebeckConwayPolynomial_233_1.Irreducible

Irreducibility of the imported C(233, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_89_1_irreducible :
luebeckConwayPolynomial_89_1.Irreducible

Irreducibility of the imported C(89, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_109_1_irreducible :
luebeckConwayPolynomial_109_1.Irreducible

Irreducibility of the imported C(109, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_53_1_irreducible :
luebeckConwayPolynomial_53_1.Irreducible

Irreducibility of the imported C(53, 1).

source
theorem Hex.Conway.luebeckConwayPolynomial_29_1_irreducible :
luebeckConwayPolynomial_29_1.Irreducible

Irreducibility of the imported C(29, 1).