Chernoff count le
chernoff_count_le
Project documentation
Weak Chernoff's theorem for the Bernoulli case
Source project: debate
Person-level attribution pending.
Source-pinned research
Search theorem names, mathematical ideas, modules, topics, projects, and role-labelled researchers. Open a result for its complete indexed Lean declaration and source record.
This index contains 2,569 research declarations. Search 10,000 more complete Mathlib declarations.
Showing 457 to 462 of 2,569 results.
chernoff_count_le
Project documentation
Weak Chernoff's theorem for the Bernoulli case
Source project: debate
Person-level attribution pending.
chernoff_estimate_abs_le
Mathematical statement
Chernoff symmetric bound for estimate
Source project: debate
Person-level attribution pending.
chernoff_le_count
Mathematical statement
Chernoff lower bound
Source project: debate
Person-level attribution pending.
CKMMatrix.rows_linearly_independent
Mathematical statement
The rows of a CKM matrix are linearly independent.
Source project: Physlib
Person-level attribution pending.
CKMMatrix.VAbs_sum_sq_row_eq_one
Mathematical statement
The absolute value squared of any row of a CKM matrix is 1, in terms of Vabs.
Source project: Physlib
Person-level attribution pending.
classical_carleson
Mathematical statement
For every continuous, -periodic function , the symmetric partial Fourier sums converge to for almost every .
Source project: Carleson formalization
Person-level attribution pending.