OAI/Analysis/Conductivity/Branching/ChildJetScaling.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ScalarConductivity.sourceChildEuclidean_map_volume line 12
  2. lemma OAI.ScalarConductivity.sourceChildEuclidean_inverse_map_volume line 26
  3. lemma OAI.ScalarConductivity.integral_sourceChild_inverse line 39
  4. def OAI.ScalarConductivity.childAxisSwap line 46
  5. lemma OAI.ScalarConductivity.childAxisSwap_zero line 48
  6. lemma OAI.ScalarConductivity.childAxisSwap_inner line 49
  7. lemma OAI.ScalarConductivity.childAxisSwap_involutive line 54
  8. lemma OAI.ScalarConductivity.childAxisSwap_inner_self line 58
  9. lemma OAI.ScalarConductivity.childH1Pullback_value line 61
  10. lemma OAI.ScalarConductivity.childH1Pullback_gradient line 69
  11. lemma OAI.ScalarConductivity.childH10Transport_jet line 77
  12. lemma OAI.ScalarConductivity.childH10Transport_value line 97
  13. lemma OAI.ScalarConductivity.childH10Transport_gradient line 106
  14. lemma OAI.ScalarConductivity.integral_child_ball line 123
  15. lemma OAI.ScalarConductivity.childH10Transport_gradient_at_child line 150
  16. lemma OAI.ScalarConductivity.child_energy_scaling line 157
  17. lemma OAI.ScalarConductivity.weakGradient_norm_sq_integral line 171
  18. lemma OAI.ScalarConductivity.child_gradient_norm_sq line 178