OAI/Analysis/Conductivity/Variational/WholeBallJetFormula.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.ballWholePiJetCLM_ae_of_ae line 12
2. lemma OAI.ScalarConductivity.ballWholePiComponentCLM_ae_of_ae line 25
3. lemma OAI.ScalarConductivity.sourceBand_mem_ball line 34
4. lemma OAI.ScalarConductivity.localJoinedJet_zero_outside_ball line 39
5. lemma OAI.ScalarConductivity.ballWholePiJetCLM_localJoined_ae line 50