OAI/Dynamics/EntropyCounterexample/MapAmplification.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.Construction.concrete_prediction_independent line 9
2. theorem OAI.Problem340.Construction.concrete_predictedClock_independent line 12
3. def OAI.Problem340.Construction.amplificationAbove line 17
4. theorem OAI.Problem340.Construction.two_lt_amplificationAbove line 19
5. theorem OAI.Problem340.Construction.lt_amplificationAbove line 24
6. theorem OAI.Problem340.Construction.amplificationAbove_pos line 29
7. theorem OAI.Problem340.Construction.geometric_ratio_lt_one line 32
8. theorem OAI.Problem340.Construction.angular_ratio_lt_one line 35