OAI/Analysis/AncientFlat/Evolution/TimeGreen.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AncientMild.timeShift line 9
2. def OAI.AncientMild.translate line 10
3. lemma OAI.AncientMild.translate_apply line 12
4. def OAI.AncientMild.trace line 15
5. lemma OAI.AncientMild.trace_apply line 17
6. def OAI.AncientMild.timeTerm line 18
7. lemma OAI.AncientMild.timeTerm_apply line 20
8. lemma OAI.AncientMild.timeTerm_norm line 22
9. def OAI.AncientMild.timeGreen line 28
10. lemma OAI.AncientMild.timeGreen_apply line 29
11. lemma OAI.AncientMild.timeGreen_trace line 34
12. lemma OAI.AncientMild.timeGreen_solves line 41
13. lemma OAI.AncientMild.homogeneous_time_eq_zero line 49