OAI/Probability/CriticalPercolation/Entropy/EndpointKernel.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.FiniteEntropy.integral_polynomial_sum line 20
2. lemma OAI.CriticalPercolation.FiniteEntropy.integral_cubic_square line 31
3. theorem OAI.CriticalPercolation.FiniteEntropy.cubic_endpoint line 45
4. def OAI.CriticalPercolation.FiniteEntropy.endpointKernel line 68
5. lemma OAI.CriticalPercolation.FiniteEntropy.continuous_endpointKernel line 70
6. lemma OAI.CriticalPercolation.FiniteEntropy.integral_endpointKernel_sq line 74
7. lemma OAI.CriticalPercolation.FiniteEntropy.integral_endpointKernel_power line 82