OAI/Probability/ThorpCompatibility/Normalization.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ThorpCompatibility.log_side_bound line 10
2. lemma OAI.ThorpCompatibility.exposure_error_polynomial line 21
3. lemma OAI.ThorpCompatibility.entropy_normalization_error line 56