OAI/Analysis/Conductivity/Geometry/CollarReverseBound.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ScalarConductivity.faceRayDensityLower line 11
2. lemma OAI.ScalarConductivity.faceRayDensityLower_pos line 13
3. lemma OAI.ScalarConductivity.faceRayDensity_lower line 17
4. lemma OAI.ScalarConductivity.sourceExtended_jacobian_upper line 39
5. theorem OAI.ScalarConductivity.sourceExtended_integral_upper line 56
6. theorem OAI.ScalarConductivity.integral_sourceAngular_lower line 73
7. theorem OAI.ScalarConductivity.sourceAngular_volume_reverse line 123