OAI/Analysis/Conductivity/Flux/PhysicalVoltageFlux.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.voltageFlux_component line 14
2. lemma OAI.ScalarConductivity.voltageFlux_memLp line 18
3. lemma OAI.ScalarConductivity.fderiv_flux_eq_sum line 29
4. lemma OAI.ScalarConductivity.smoothFluxIntegrable_of_L2 line 40
5. lemma OAI.ScalarConductivity.norm_elliptic_to_dot line 60