OAI/Analysis/Conductivity/Walls/WallMomentIndependence.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.deriv_zero_on_open line 13
2. lemma OAI.ScalarConductivity.exp_affine_independent line 18
3. def OAI.ScalarConductivity.wallMomentBasis line 45
4. lemma OAI.ScalarConductivity.wallMomentBasis_smooth line 48
5. lemma OAI.ScalarConductivity.wallMomentBasis_dot line 52
6. lemma OAI.ScalarConductivity.wallMomentBasis_independent line 59
7. lemma OAI.ScalarConductivity.positive_interval_bump line 88
8. theorem OAI.ScalarConductivity.wall_moment_right_inverse line 102