OAI/Analysis/Conductivity/Branching/AttachedEndGradientL2.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.sourceAngularCollarMeasure_self line 12
2. lemma OAI.ScalarConductivity.sourceCollarTime_level_null line 15
3. lemma OAI.ScalarConductivity.sourceColevel_ae_ne line 26
4. lemma OAI.ScalarConductivity.attachedEndPoisson_grad_bound line 31
5. lemma OAI.ScalarConductivity.attachedEndPoisson_grad_memLp line 63