OAI/Dynamics/EntropyCounterexample/PassagePhase.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem340.PassagePhase.phase line 9
2. lemma OAI.Problem340.PassagePhase.norm_phase line 11
3. lemma OAI.Problem340.PassagePhase.norm_mul_phase line 14
4. theorem OAI.Problem340.PassagePhase.delayed_readout_sum line 21
5. theorem OAI.Problem340.PassagePhase.readout_sum_of_preparation_phases line 48
6. def OAI.Problem340.PassagePhase.gain line 76
7. lemma OAI.Problem340.PassagePhase.gain_nonneg line 80
8. theorem OAI.Problem340.PassagePhase.passage_phase line 87
9. theorem OAI.Problem340.PassagePhase.passage_radial_step line 122
10. theorem OAI.Problem340.PassagePhase.passage_contains_large_radius line 149