OAI/Dynamics/EntropyCounterexample/MapPassageSchedule.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.Construction.preparation_phase_window line 13
2. theorem OAI.Problem340.Construction.orbitReadoutCoeff_eq_of_clock_lift line 44
3. theorem OAI.Problem340.Construction.complete_passage_phase_window line 54
4. theorem OAI.Problem340.Construction.preparation_indices_eq_after_first line 81
5. theorem OAI.Problem340.Construction.complete_passage_register_reset_at_first_preparation line 100