OAI/NumberTheory/JointDickman/Analysis/ZetaRectanglePrincipal.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Uniform local identification of normalized rectangle logarithms

  1. theorem OAI.JointDickman.zeta_rectangle_principal_local line 12
  2. theorem OAI.JointDickman.squarefreeRieszKernel_local_uniform line 38