OAI/Analysis/AncientFlat/Evolution/ConstantEvolution.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.BiharmonicKernel.evolution_bounded_jets line 12
  2. lemma OAI.BiharmonicKernel.evolution_smul line 38
  3. def OAI.FlatSimilarity.constantTheta line 46
  4. lemma OAI.FlatSimilarity.constantTheta_zero line 47
  5. lemma OAI.FlatSimilarity.constantTheta_pos line 48
  6. lemma OAI.FlatSimilarity.constantTheta_deriv line 52
  7. def OAI.FlatSimilarity.constantMoving line 58
  8. def OAI.FlatSimilarity.toBCFReal line 61
  9. lemma OAI.FlatSimilarity.bilaplacian_real_smul line 68
  10. lemma OAI.FlatSimilarity.constantMoving_deriv line 76
  11. lemma OAI.FlatSimilarity.constantMoving_classical line 110