OAI/NumberTheory/Ostmann/Preliminaries/SummandSquareComparison.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A two-cutoff comparison at square endpoints

  1. theorem OAI.Ostmann.square_comparison_algebra line 14
  2. theorem OAI.Ostmann.EventuallyPrimeSumset.summand_square_comparison line 32