OAI/Analysis/Conductivity/Branching/ParentLocalizedJet.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.parent_band_indicator_join line 15
2. def OAI.ScalarConductivity.parentLocalComponentCLM line 38
3. def OAI.ScalarConductivity.physicalFourJetCLM line 45
4. lemma OAI.ScalarConductivity.physicalFourJetCLM_ae line 50
5. def OAI.ScalarConductivity.parentLocalJetCLM line 57
6. lemma OAI.ScalarConductivity.parentJoinedComponentCLM_smooth_value line 70
7. lemma OAI.ScalarConductivity.parentJoinedComponentCLM_smooth_gradient line 83
8. lemma OAI.ScalarConductivity.parentLocalComponentCLM_smooth_value line 97
9. lemma OAI.ScalarConductivity.parentLocalComponentCLM_smooth_gradient line 113
10. lemma OAI.ScalarConductivity.parentLocalJetCLM_smooth_ae line 137