OAI/NumberTheory/Ostmann/Construction/InitialTailEndpoint.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The actual endpoint tail in the initial Poisson statistic

  1. theorem OAI.Ostmann.EventuallyPrimeSumset.initial_tail_endpoint line 12