OAI/Dynamics/EntropyCounterexample/PredictionSignal.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.prediction_input_eq_delayed_signal line 9
2. theorem OAI.Problem340.scheduled_signal_norm_le_tenth line 34
3. theorem OAI.Problem340.sum_norm_signals_le_half line 49