Documentation

HexConway.FactorProofs.S0_9

source
theorem Hex.Conway.factorPrime_40897 :
Nat.Prime 40897

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

source
theorem Hex.Conway.factorPrime_51343 :
Nat.Prime 51343

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

source
theorem Hex.Conway.factorPrime_55897 :
Nat.Prime 55897

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

source
theorem Hex.Conway.factorPrime_58789 :
Nat.Prime 58789

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

source
theorem Hex.Conway.factorPrime_59221 :
Nat.Prime 59221

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

source
theorem Hex.Conway.factorPrime_60589 :
Nat.Prime 60589

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

source
theorem Hex.Conway.factorPrime_66739 :
Nat.Prime 66739

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

source
theorem Hex.Conway.factorPrime_86143 :
Nat.Prime 86143

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

source
theorem Hex.Conway.factorPrime_136501 :
Nat.Prime 136501

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

source
theorem Hex.Conway.factorPrime_145861 :
Nat.Prime 145861

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

source
theorem Hex.Conway.factorPrime_147073 :
Nat.Prime 147073

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

source
theorem Hex.Conway.factorPrime_151201 :
Nat.Prime 151201

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

source
theorem Hex.Conway.factorPrime_176419 :
Nat.Prime 176419

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

source
theorem Hex.Conway.factorPrime_246247 :
Nat.Prime 246247

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

source
theorem Hex.Conway.factorPrime_260191 :
Nat.Prime 260191

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

source
theorem Hex.Conway.factorPrime_292969 :
Nat.Prime 292969

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

source
theorem Hex.Conway.factorPrime_459007 :
Nat.Prime 459007

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

source
theorem Hex.Conway.factorPrime_492103 :
Nat.Prime 492103

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

source
theorem Hex.Conway.factorPrime_552793 :
Nat.Prime 552793

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

source
theorem Hex.Conway.factorPrime_579883 :
Nat.Prime 579883

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

source
theorem Hex.Conway.factorPrime_598303 :
Nat.Prime 598303

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

source
theorem Hex.Conway.factorPrime_684757 :
Nat.Prime 684757

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

source
theorem Hex.Conway.factorPrime_704761 :
Nat.Prime 704761

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

source
theorem Hex.Conway.factorPrime_735307 :
Nat.Prime 735307

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