OAI/Geometry/TamingCompatibility/Charts/ShrinkingCutoff.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TamingCompatibility.EuclideanSobolevOperators.normalizedCutoff line 19
2. lemma OAI.TamingCompatibility.EuclideanSobolevOperators.normalizedCutoff_apply line 24
3. lemma OAI.TamingCompatibility.EuclideanSobolevOperators.normalizedCutoff_support line 29
4. lemma OAI.TamingCompatibility.EuclideanSobolevOperators.normalizedCutoff_compact line 37
5. lemma OAI.TamingCompatibility.EuclideanSobolevOperators.normalizedCutoff_eventually_support line 49
6. theorem OAI.TamingCompatibility.GeometricHilbert.geometric_center_local_energy_two_jet line 101