OAI/Analysis/Conductivity/Scalarization/SmoothScalarAlgebra.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ScalarConductivity.smoothScalarAlgebra line 12
2. abbrev OAI.ScalarConductivity.SmoothScalar line 31
3. theorem OAI.ScalarConductivity.smoothScalar_contDiff line 34
4. def OAI.ScalarConductivity.smoothDirection line 38
5. theorem OAI.ScalarConductivity.smoothDirection_apply line 58
6. theorem OAI.ScalarConductivity.smoothDirection_comm line 62