OAI/Analysis/Conductivity/Walls/SeamL2.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.seamCutoff_sq_error_bound line 12
2. lemma OAI.ScalarConductivity.seamCutoff_L2_approx line 23
3. lemma OAI.ScalarConductivity.seamCutoff_mul_lineDeriv line 44
4. def OAI.ScalarConductivity.seamLayer line 75
5. lemma OAI.ScalarConductivity.measurableSet_seamLayer line 78
6. lemma OAI.ScalarConductivity.seamCutoff_remainder_sq_bound line 83
7. lemma OAI.ScalarConductivity.seamCutoff_gradient_L2_approx line 114