OAI/Analysis/Conductivity/Branching/ChildLocalizedJet.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.child_band_indicator_join line 13
2. def OAI.ScalarConductivity.childLocalComponentCLM line 36
3. def OAI.ScalarConductivity.childLocalJetCLM line 43
4. lemma OAI.ScalarConductivity.childJoinedComponentCLM_smooth_value line 57
5. lemma OAI.ScalarConductivity.childJoinedComponentCLM_smooth_gradient line 69
6. lemma OAI.ScalarConductivity.childLocalComponentCLM_smooth_value line 82
7. lemma OAI.ScalarConductivity.childLocalComponentCLM_smooth_gradient line 98
8. lemma OAI.ScalarConductivity.childLocalJetCLM_smooth_ae line 122