OAI/Analysis/Conductivity/Sobolev/SobolevGaugeTransform.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.H1_sub_constant_spec line 13
2. theorem OAI.ScalarConductivity.exists_gauge_transform line 22
3. def OAI.ScalarConductivity.WeightedAnnihilation line 71
4. def OAI.ScalarConductivity.gaugeCoefficient line 77
5. lemma OAI.ScalarConductivity.gaugeCoefficient_aeStronglyMeasurable line 79
6. lemma OAI.ScalarConductivity.gaugeCoefficient_bounds line 85
7. lemma OAI.ScalarConductivity.gauge_test_integrand line 107
8. theorem OAI.ScalarConductivity.gauge_harmonic_of_weighted line 115