OAI/Analysis/Conductivity/Walls/CriticalWallTensor.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ScalarConductivity.wallCoordinatePair line 15
  2. lemma OAI.ScalarConductivity.wallCoordinatePair_smooth line 18
  3. lemma OAI.ScalarConductivity.wallCoordinatePair_derivative line 27
  4. def OAI.ScalarConductivity.wallMatrix line 48
  5. lemma OAI.ScalarConductivity.wallMatrix_symmetric line 51
  6. lemma OAI.ScalarConductivity.wallMatrix_smooth line 56
  7. lemma OAI.ScalarConductivity.wallMatrix_columns line 67
  8. lemma OAI.ScalarConductivity.smooth_wall_cutoff_ratio line 95
  9. lemma OAI.ScalarConductivity.wallMatrix_tsupport line 120
  10. lemma OAI.ScalarConductivity.wallMatrix_compact line 131
  11. lemma OAI.ScalarConductivity.coordinateDivergence_wallFlux line 142
  12. lemma OAI.ScalarConductivity.wallMatrix_sources line 153
  13. def OAI.ScalarConductivity.wallParticularTensor line 176
  14. lemma OAI.ScalarConductivity.wallParticularTensor_smooth line 180
  15. lemma OAI.ScalarConductivity.wallParticularTensor_compact line 189
  16. theorem OAI.ScalarConductivity.wallParticularTensor_source_eq line 195
  17. theorem OAI.ScalarConductivity.wallParticularTensor_weak_moments line 235