OAI/Dynamics/EntropyCounterexample/MapClockComponent.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Problem340.Construction.onePointClockGate_eq_ambient line 15
2. lemma OAI.Problem340.Construction.concrete_clockIncrement_eq_ambient line 29
3. lemma OAI.Problem340.Construction.concreteMap_clock_eq_update line 40
4. def OAI.Problem340.Construction.concreteClockAmbient line 49
5. lemma OAI.Problem340.Construction.contDiff_concreteClockAmbient line 52
6. lemma OAI.Problem340.Construction.transported_concreteMap_clock_ambient line 58