OAI/Geometry/TamingCompatibility/Hodge/HodgeNormalSliceIntegral.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.ParametrixData.normal_slice_integral line 26
2. def OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.ParametrixData.cutoffSection line 83
3. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.ParametrixData.cutoffSection_tsupport line 87
4. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.leadingSlice_energy_point line 101
5. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.leadingSlice_energy_integral line 132