theorem Hex.Conway.luebeckConwayPolynomial_17_1_irreducible : luebeckConwayPolynomial_17_1.Irreducible

Irreducibility of the imported C(17, 1).

theorem Hex.Conway.luebeckConwayPolynomial_5_1_irreducible : luebeckConwayPolynomial_5_1.Irreducible

Irreducibility of the imported C(5, 1).