OAI/Analysis/FreeEntropy/FisherTestLimit.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.FiniteEntropySeparation.complex_integrable_re line 11
2. theorem OAI.FiniteEntropySeparation.matrixPolynomialNorm_integrable line 21
3. theorem OAI.FiniteEntropySeparation.matrixPolynomialDerivative_integrable line 25
4. theorem OAI.FiniteEntropySeparation.matrixPolynomialNorm_integral_tendsto line 37
5. theorem OAI.FiniteEntropySeparation.matrixPolynomialDerivative_integral_tendsto line 50
6. theorem OAI.FiniteEntropySeparation.matrixFisherTest_integral_tendsto line 78