OAI/NumberTheory/JointDickman/Amplification/LogIntervalSquareError.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Explicit squared-error bound for polynomial log-interval tests

  1. theorem OAI.JointDickman.polynomial_log_interval_square_error line 9