Documentation

HexConway.FactorProofs.S0_0

source
theorem Hex.Conway.factorPrime_2 :
Nat.Prime 2

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

source
theorem Hex.Conway.factorPrime_3 :
Nat.Prime 3

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

source
theorem Hex.Conway.factorPrime_5 :
Nat.Prime 5

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

source
theorem Hex.Conway.factorPrime_7 :
Nat.Prime 7

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

source
theorem Hex.Conway.factorPrime_11 :
Nat.Prime 11

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

source
theorem Hex.Conway.factorPrime_13 :
Nat.Prime 13

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

source
theorem Hex.Conway.factorPrime_17 :
Nat.Prime 17

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

source
theorem Hex.Conway.factorPrime_19 :
Nat.Prime 19

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

source
theorem Hex.Conway.factorPrime_23 :
Nat.Prime 23

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

source
theorem Hex.Conway.factorPrime_29 :
Nat.Prime 29

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

source
theorem Hex.Conway.factorPrime_31 :
Nat.Prime 31

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

source
theorem Hex.Conway.factorPrime_37 :
Nat.Prime 37

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

source
theorem Hex.Conway.factorPrime_41 :
Nat.Prime 41

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

source
theorem Hex.Conway.factorPrime_43 :
Nat.Prime 43

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

source
theorem Hex.Conway.factorPrime_47 :
Nat.Prime 47

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

source
theorem Hex.Conway.factorPrime_53 :
Nat.Prime 53

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

source
theorem Hex.Conway.factorPrime_59 :
Nat.Prime 59

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

source
theorem Hex.Conway.factorPrime_61 :
Nat.Prime 61

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

source
theorem Hex.Conway.factorPrime_67 :
Nat.Prime 67

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

source
theorem Hex.Conway.factorPrime_71 :
Nat.Prime 71

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

source
theorem Hex.Conway.factorPrime_73 :
Nat.Prime 73

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

source
theorem Hex.Conway.factorPrime_79 :
Nat.Prime 79

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

source
theorem Hex.Conway.factorPrime_83 :
Nat.Prime 83

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

source
theorem Hex.Conway.factorPrime_89 :
Nat.Prime 89

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