OAI/Geometry/TamingCompatibility/Charts/ChartScalarBound.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TamingCompatibility.GeometricChart.density_lower_on_support line 25
2. lemma OAI.TamingCompatibility.GeometricChart.scalar_norm_bound line 40
3. lemma OAI.TamingCompatibility.GeometricChart.pairing_cutoff line 59
4. lemma OAI.TamingCompatibility.GeometricChart.integral_scalar_bound line 70
5. lemma OAI.TamingCompatibility.GeometricHilbert.cutoff_energy_bound line 102