OAI/Probability/SATVariance/Moments.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.RandomKSAT.real_rate_pos line 13
2. lemma OAI.RandomKSAT.real_rate_lt_one line 18
3. lemma OAI.RandomKSAT.measurable_natH line 22
4. lemma OAI.RandomKSAT.natH_mass_bound line 26
5. lemma OAI.RandomKSAT.H_integrable_pow line 55
6. lemma OAI.RandomKSAT.H_memLp_two line 77