OAI/Dynamics/EntropyCounterexample/MapQuotientContinuity.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Problem340.Construction.baseInput_clock_mem_of_ne_zero line 13
2. lemma OAI.Problem340.Construction.continuous_input_of_baseInput line 22
3. lemma OAI.Problem340.Construction.continuous_clockIncrement line 31
4. lemma OAI.Problem340.Construction.continuous_periodicReadout line 42
5. lemma OAI.Problem340.Construction.continuous_periodicGain line 53
6. lemma OAI.Problem340.Construction.continuous_readout line 60
7. lemma OAI.Problem340.Construction.continuous_rawMap_of_coefficients line 68
8. lemma OAI.Problem340.Construction.continuous_rawMap_of_baseInputs line 93