OAI/Analysis/Conductivity/Branching/PhysicalFlatTransport.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.sourceCollarInverse_extended line 12
2. def OAI.ScalarConductivity.sourcePhysicalFlatTensor line 22
3. def OAI.ScalarConductivity.sourcePhysicalFlatGradient line 26
4. theorem OAI.ScalarConductivity.sourcePhysicalFlat_energy_integral line 31
5. lemma OAI.ScalarConductivity.sourcePhysicalFlatTensor_symmetric line 51
6. theorem OAI.ScalarConductivity.sourcePhysicalFlatTensor_elliptic line 56
7. lemma OAI.ScalarConductivity.sourcePhysicalFlatGradient_poisson line 68