OAI/Dynamics/EntropyCounterexample/EntropySection.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.coverEntropy_image_of_uniformInducing line 9
2. theorem OAI.Problem340.coverEntropy_range_of_section line 16
3. theorem OAI.Problem340.coverEntropy_fixed_snd line 29
4. theorem OAI.Problem340.coverEntropy_fixed_fst line 47
5. theorem OAI.Problem340.coverEntropy_fixed_clock_main line 65