OAI/NumberTheory/JointDickman/Probability/IndependentRootCutNorm.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Expected cut norm of independent centered candidate weights

  1. theorem OAI.JointDickman.independent_candidate_cutMaximum line 11
  2. theorem OAI.JointDickman.card_edgeCutTest line 33
  3. theorem OAI.JointDickman.log_card_edgeCutTest line 37
  4. theorem OAI.JointDickman.independent_candidate_cutNorm line 44