OAI/Analysis/AncientFlat/Evolution/DilationCore.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ParametrixDilation.dilHomeo line 10
  2. lemma OAI.ParametrixDilation.dilHomeo_apply line 11
  3. def OAI.ParametrixDilation.dilMap line 13
  4. def OAI.ParametrixDilation.dil line 15
  5. lemma OAI.ParametrixDilation.dil_apply line 20
  6. lemma OAI.ParametrixDilation.norm_dil_le line 22
  7. lemma OAI.ParametrixDilation.opNorm_dil_le line 25
  8. lemma OAI.ParametrixDilation.dil_zero line 31
  9. lemma OAI.ParametrixDilation.dil_add line 34
  10. lemma OAI.ParametrixDilation.dil_comm line 40
  11. lemma OAI.ParametrixDilation.norm_dil line 43
  12. lemma OAI.ParametrixDilation.tends_dil_zero line 49
  13. lemma OAI.ParametrixDilation.continuous_dil line 95