OAI/Dynamics/ConditionalShuffle/ScheduledTransport.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Revealed.Scheduled.observed_same line 11
2. lemma OAI.Revealed.Scheduled.interval_congr line 24
3. lemma OAI.Revealed.Scheduled.distance_schedule_le line 35
4. def OAI.Revealed.Scheduled.clockInterval line 63
5. lemma OAI.Revealed.Scheduled.distance_periodic line 69