OAI/Geometry/Relativity/CKS/HeatUniform.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CKSSphericalChart.generated_uniform line 11
2. theorem OAI.CKSSphericalChart.canonical_uniform_data line 21
3. lemma OAI.CKSSphericalChart.thetaFrame_component line 64
4. lemma OAI.CKSSphericalChart.phiUnit_component line 73
5. lemma OAI.CKSSphericalChart.fderiv_bound line 79
6. lemma OAI.CKSSphericalChart.pair_bound line 93