OAI/Dynamics/EntropyCounterexample/PassagePhaseInterval.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.PassagePhase.prediction_phase_power_from line 9
2. theorem OAI.Problem340.PassagePhase.delayed_readout_sum_from line 15
3. theorem OAI.Problem340.PassagePhase.readout_sum_of_preparation_phases_from line 42
4. theorem OAI.Problem340.PassagePhase.passage_phase_interval line 71
5. theorem OAI.Problem340.PassagePhase.passage_radial_step_interval line 113
6. theorem OAI.Problem340.PassagePhase.passage_square_le_interval line 140
7. theorem OAI.Problem340.PassagePhase.passage_contains_large_radius_interval line 156
8. theorem OAI.Problem340.PassagePhase.passage_escape_of_preparation_plateau line 176