`OAI/Geometry/RCD/Sobolev/CurvedCanonicalShiftedHessian.lean`

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Shifted density controls the canonical Hessian error with curvature

theorem OAI.RegularPointCoordinates.NoncollapsedRCD.canonical_shifted_hessian_young_curved line 17