OAI/Dynamics/EntropyCounterexample/MapMainRegularity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.Construction.periodicReadout_hasLocalC1Extension line 16
2. theorem OAI.Problem340.Construction.concrete_saturation_hasLocalC1Extension line 26
3. theorem OAI.Problem340.Construction.concrete_readout_hasLocalC1Extension line 43
4. theorem OAI.Problem340.Construction.mainUpdate_hasLocalC1Extension line 58
5. theorem OAI.Problem340.Construction.concrete_main_hasLocalC1Extension line 68
6. theorem OAI.Problem340.Construction.realizedMap_main_hasLocalC1Extension line 87