OAI/Dynamics/ConditionalShuffle/SelectedSchedule.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Revealed.Scheduled.chunks_const_apply line 10
2. lemma OAI.Revealed.Scheduled.append_false line 26
3. lemma OAI.Revealed.Scheduled.append_false_true line 31
4. lemma OAI.Revealed.Scheduled.cycleSchedule_apply line 39
5. def OAI.Revealed.Scheduled.selectedSchedule line 47
6. lemma OAI.Revealed.Scheduled.periodLength_pos line 49
7. lemma OAI.Revealed.Scheduled.selected_periodic line 51
8. lemma OAI.Revealed.Scheduled.selected_segment line 57
9. lemma OAI.Revealed.Scheduled.selected_active line 64