OAI/Analysis/Conductivity/Sources/LocalPhysicalCorrection.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.localPiolaSource_tsupport_image line 13
2. lemma OAI.ScalarConductivity.localPiolaSource_inverse line 21
3. def OAI.ScalarConductivity.correctionBox line 44
4. lemma OAI.ScalarConductivity.localPiolaSource_inverse_support line 47
5. theorem OAI.ScalarConductivity.local_physical_symmetric_correction line 58