OAI/Geometry/CAT0Fillings/Radial/SpatialForm.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CAT0Fillings.det_updateRow_identity line 25
2. theorem OAI.CAT0Fillings.hasDerivAt_det_at_identity line 33
3. def OAI.CAT0Fillings.spatialRadialForm line 47
4. lemma OAI.CAT0Fillings.spatialRadialForm_zero line 52
5. lemma OAI.CAT0Fillings.spatialRadialForm_hasDerivAt_zero line 57
6. theorem OAI.CAT0Fillings.spatialRadialForm_sqrt_det_hasDerivAt_zero line 74