OAI/Geometry/TamingCompatibility/Hodge/HodgePatchPairing.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.ParametrixData.slice_pairing_integral line 27
2. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.leadingSlice_pairing_integral line 63
3. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.residualSlice_pairing_integral line 75
4. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.leadingSlice_weak_deriv line 114
5. def OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.leadingSliceForm line 153
6. def OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.residualSliceForm line 155
7. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.leadingSliceForm_smooth line 159
8. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.residualSliceForm_smooth line 168
9. lemma OAI.TamingCompatibility.GeometricHilbert.GeometricNormalCharts.leadingSliceForm_weak_deriv line 179