OAI/Analysis/Conductivity/Geometry/CollarVolumeBound.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.sourceExtendedBox_compact line 13
2. theorem OAI.ScalarConductivity.sourceExtended_integral_bound line 15
3. lemma OAI.ScalarConductivity.continuous_collarFace_integral line 34
4. theorem OAI.ScalarConductivity.sourceAngular_volume_bound line 40