OAI/Probability/SKValue/Evolution/HeatDuality.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SKValue.ForwardDensityData.heat_pair_integrable line 11
  2. lemma OAI.SKValue.ForwardDensityData.heat_duality line 28
  3. def OAI.SKValue.weightedJet line 69
  4. lemma OAI.SKValue.weightedJet_bounded line 72
  5. lemma OAI.SKValue.weighted_iteratedDeriv line 77
  6. lemma OAI.SKValue.weighted_growth line 92
  7. def OAI.SKValue.responseJet line 99
  8. def OAI.SKValue.baseJet line 102
  9. lemma OAI.SKValue.responseJet_continuous line 104
  10. lemma OAI.SKValue.responseJet_smooth line 112
  11. lemma OAI.SKValue.responseJet_space line 120
  12. lemma OAI.SKValue.responseJet_time line 135
  13. lemma OAI.SKValue.responseJet_bound line 148