OAI/Analysis/Conductivity/Sources/WeightedGaugeDN.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ScalarConductivity.weighted_gauge_DN line 13
2. lemma OAI.ScalarConductivity.weakValue_measurable line 77
3. lemma OAI.ScalarConductivity.gaugeCoefficient_measurable line 80
4. lemma OAI.ScalarConductivity.gaugeCoefficient_ne_ae_iff line 84
5. lemma OAI.ScalarConductivity.gaugeCoefficient_equalOneNearBoundary line 101
6. theorem OAI.ScalarConductivity.MainStatement_of_weighted_source line 113