Documentation

HexConway.FactorProofs.S0_2

source
theorem Hex.Conway.factorPrime_233 :
Nat.Prime 233

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

source
theorem Hex.Conway.factorPrime_239 :
Nat.Prime 239

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

source
theorem Hex.Conway.factorPrime_251 :
Nat.Prime 251

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

source
theorem Hex.Conway.factorPrime_257 :
Nat.Prime 257

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

source
theorem Hex.Conway.factorPrime_271 :
Nat.Prime 271

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

source
theorem Hex.Conway.factorPrime_277 :
Nat.Prime 277

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

source
theorem Hex.Conway.factorPrime_281 :
Nat.Prime 281

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

source
theorem Hex.Conway.factorPrime_283 :
Nat.Prime 283

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

source
theorem Hex.Conway.factorPrime_293 :
Nat.Prime 293

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

source
theorem Hex.Conway.factorPrime_307 :
Nat.Prime 307

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

source
theorem Hex.Conway.factorPrime_313 :
Nat.Prime 313

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

source
theorem Hex.Conway.factorPrime_331 :
Nat.Prime 331

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

source
theorem Hex.Conway.factorPrime_337 :
Nat.Prime 337

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

source
theorem Hex.Conway.factorPrime_359 :
Nat.Prime 359

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

source
theorem Hex.Conway.factorPrime_367 :
Nat.Prime 367

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

source
theorem Hex.Conway.factorPrime_373 :
Nat.Prime 373

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

source
theorem Hex.Conway.factorPrime_379 :
Nat.Prime 379

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

source
theorem Hex.Conway.factorPrime_383 :
Nat.Prime 383

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

source
theorem Hex.Conway.factorPrime_397 :
Nat.Prime 397

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

source
theorem Hex.Conway.factorPrime_409 :
Nat.Prime 409

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

source
theorem Hex.Conway.factorPrime_419 :
Nat.Prime 419

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

source
theorem Hex.Conway.factorPrime_421 :
Nat.Prime 421

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

source
theorem Hex.Conway.factorPrime_431 :
Nat.Prime 431

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

source
theorem Hex.Conway.factorPrime_433 :
Nat.Prime 433

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