OAI/Geometry/Relativity/CKS/HeatGenerated.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. inductive OAI.CKSInducedSphere.HeatGenerated line 13
2. lemma OAI.CKSInducedSphere.HeatGenerated.joint_smooth line 26
3. lemma OAI.CKSInducedSphere.HeatGenerated.spatial_smooth line 37
4. lemma OAI.CKSInducedSphere.HeatGenerated.temporal_diff line 41
5. lemma OAI.CKSInducedSphere.HeatGenerated.sum line 48
6. lemma OAI.CKSInducedSphere.angularCoefficient_smooth line 59
7. lemma OAI.CKSInducedSphere.pd_spatialHeat line 67
8. lemma OAI.CKSInducedSphere.HeatGenerated.partial line 85
9. def OAI.CKSInducedSphere.td line 112
10. lemma OAI.CKSInducedSphere.HeatGenerated.time line 114
11. lemma OAI.CKSInducedSphere.HeatGenerated.decay line 140