OAI/NumberTheory/JointDickman/Amplification/RootCutDecay.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A vanishing cut-norm error from the per-candidate weight cap

  1. theorem OAI.JointDickman.independent_candidate_cutNorm_small line 11