OAI/NumberTheory/JointDickman/Analysis/MellinPrefixInterval.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Bounded-frequency control on subintervals with comparable endpoints

  1. theorem OAI.JointDickman.angularMellinPolynomial_le_of_prefix_interval line 9