OAI/Analysis/Conductivity/Flux/PiolaFluxContDiff.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.piolaFlux_contDiff line 23
2. lemma OAI.ScalarConductivity.equiv_symm_eq_off line 35
3. lemma OAI.ScalarConductivity.fderiv_equiv_eq_id_off line 40
4. lemma OAI.ScalarConductivity.tsupport_comp_equiv_sub line 49
5. lemma OAI.ScalarConductivity.piolaFlux_eq_off line 57
6. lemma OAI.ScalarConductivity.smooth_flux_integrable_pairing line 65
7. theorem OAI.ScalarConductivity.compact_piola_Cauchy_difference line 78