OAI/NumberTheory/JointDickman/Arithmetic/SieveRemainderDecay.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Polynomial saving in the explicit rectangle remainder

  1. theorem OAI.JointDickman.coefficient_rectangle_remainder_power line 12