OAI/Analysis/Conductivity/Flux/TwoFluxColumns.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ScalarConductivity.smooth_integration_by_parts line 11
2. theorem OAI.ScalarConductivity.smooth_divergence_zero_pairing line 28
3. def OAI.ScalarConductivity.twoFluxColumns line 54
4. theorem OAI.ScalarConductivity.twoFluxColumns_divergence line 58
5. theorem OAI.ScalarConductivity.localizedTwoFlux_weak_pairing line 63
6. def OAI.ScalarConductivity.piolaFlux line 82
7. theorem OAI.ScalarConductivity.piolaFlux_pairing line 86