OAI/NumberTheory/JointDickman/Probability/CutNormParameter.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Variation of the finite cut norm under parameter changes

  1. theorem OAI.JointDickman.kernelCutNorm_difference_bound line 9
  2. theorem OAI.JointDickman.kernelCutNorm_parameter_bound line 30
  3. theorem OAI.JointDickman.kernelAbsoluteMass_entry_bound line 44
  4. theorem OAI.JointDickman.kernel_error_parameter_bound line 53