OAI/Dynamics/EntropyCounterexample/MapSignals.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.Construction.preparationCoeff_eq_zero_of_outside line 13
2. theorem OAI.Problem340.Construction.baseInput_eq_zero_of_outside line 20
3. theorem OAI.Problem340.Construction.input_eq_zero_of_coe_outside line 24
4. theorem OAI.Problem340.Construction.periodicReadout_eq_zero_of_coe_outside line 30
5. theorem OAI.Problem340.Construction.readout_eq_zero_of_coe_outside line 39
6. theorem OAI.Problem340.Construction.rawMap_main_of_no_readout line 44
7. theorem OAI.Problem340.Construction.concreteMap_register_reset line 50
8. theorem OAI.Problem340.Construction.periodicGain_eq_gain_of_coe line 62
9. theorem OAI.Problem340.Construction.clock_coe_add_int_period line 69