Documentation

HexConway.FactorProofs.S0_6

source
theorem Hex.Conway.factorPrime_3881 :
Nat.Prime 3881

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_3931 :
Nat.Prime 3931

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_4051 :
Nat.Prime 4051

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_4603 :
Nat.Prime 4603

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_4657 :
Nat.Prime 4657

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_4733 :
Nat.Prime 4733

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_4973 :
Nat.Prime 4973

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_5023 :
Nat.Prime 5023

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_5101 :
Nat.Prime 5101

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_5107 :
Nat.Prime 5107

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_5113 :
Nat.Prime 5113

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_5153 :
Nat.Prime 5153

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_5233 :
Nat.Prime 5233

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_5347 :
Nat.Prime 5347

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_5419 :
Nat.Prime 5419

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_5503 :
Nat.Prime 5503

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_5647 :
Nat.Prime 5647

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_5851 :
Nat.Prime 5851

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_6037 :
Nat.Prime 6037

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_6343 :
Nat.Prime 6343

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_6367 :
Nat.Prime 6367

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_6529 :
Nat.Prime 6529

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_6577 :
Nat.Prime 6577

Primality of a multiplicative-order factor or a Pocklington child.

source
theorem Hex.Conway.factorPrime_6619 :
Nat.Prime 6619

Primality of a multiplicative-order factor or a Pocklington child.