OAI/NumberTheory/Jacobsthal/Probability/MomentIndicators.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Erdos970.ErdosVarianceMoments.finite_joint_moment_estimate line 15
2. theorem OAI.Erdos970.ErdosVarianceUniformMoments.weighted_joint_eq_mass line 102
3. theorem OAI.Erdos970.ErdosVarianceUniformMoments.weighted_single_eq_mass line 114
4. theorem OAI.Erdos970.ErdosVarianceUniformMoments.weighted_pair_eq_mass line 124