Documentation

HexConway.FactorProofs.S0_10

source
theorem Hex.Conway.factorPrime_830833 :
Nat.Prime 830833

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