OAI/Analysis/Conductivity/Variational/ChangeOld.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.fderiv_eq_of_eqOn_open line 23
2. def OAI.ScalarConductivity.CompactTwoFieldReplacement.changeOld line 30
3. theorem OAI.ScalarConductivity.exists_locally_smooth_compact_split line 58
4. theorem OAI.ScalarConductivity.local_compact_piola_difference_regular line 112
5. theorem OAI.ScalarConductivity.local_compact_updated_flux_regular line 140