OAI/NumberTheory/Ostmann/QuadraticCenter/FewKernelContradiction.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Few squarefree kernels cannot support two large prime-difference sets

The kernel-count hypotheses are geometric intermediate data. The contradiction uses only the previously identified published analytic inputs.

  1. theorem OAI.Ostmann.few_kernel_populations_impossible line 18