OAI/Geometry/TamingCompatibility/Hodge/HodgeGammaSplit.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TamingCompatibility.GeometricHilbert.hodgeGammaTailAction line 23
2. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeGammaTailAction_bound line 27
3. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeGammaTailAction_rapid line 52
4. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeRegularization_gamma_split line 63
5. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeRegularization_gamma_test_split line 77
6. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeKernelBounds.polynomialMoment_integrable line 104
7. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeKernelBounds.polynomialMoment_bound line 118
8. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeKernelBounds.weight_rescale line 138
9. def OAI.TamingCompatibility.GeometricHilbert.HodgeKernelBounds.gammaKernel line 159
10. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeKernelBounds.weighted_gamma_integrand line 163
11. lemma OAI.TamingCompatibility.GeometricHilbert.HodgeKernelBounds.gammaKernel_bound line 186