OAI/Dynamics/EntropyCounterexample/PredictionInput.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.norm_fderiv_smul_le line 10
2. theorem OAI.Problem340.norm_add_fderiv_predictionTerm_le line 21
3. theorem OAI.Problem340.norm_fderiv_comp_le line 68
4. def OAI.Problem340.predictionSummand line 78
5. theorem OAI.Problem340.norm_add_fderiv_predictionSummand_le line 84
6. theorem OAI.Problem340.contDiff_one_predictionInput line 121
7. theorem OAI.Problem340.contDiffOn_one_predictionInput line 146