OAI/Probability/ThorpCompatibility/UniformSupport.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ThorpCompatibility.Law.mean_neg line 14
2. def OAI.ThorpCompatibility.Law.uniformOn line 17
3. lemma OAI.ThorpCompatibility.Law.entropy_uniformOn_comparison line 24
4. lemma OAI.ThorpCompatibility.Law.heavy_mass_uniformOn line 40
5. lemma OAI.ThorpCompatibility.Law.mean_prediction_entropy line 60