OAI/Geometry/Relativity/CKS/CutSurface.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CKSFullCutArea.cutInclusion_smooth line 16
2. lemma OAI.CKSFullCutArea.cutInclusion_derivative_injective line 20
3. lemma OAI.CKSFullCutArea.cutInclusion_embedding line 30
4. lemma OAI.CKSFullCutArea.cutInclusion_range line 34
5. instance OAI.CKSFullCutArea.surfaceCompact line 41
6. instance OAI.CKSFullCutArea.surfaceT2 line 45