OAI/Geometry/TamingCompatibility/Hodge/HodgeChartScalar.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TamingCompatibility.HodgeChart.scalar line 24
2. lemma OAI.TamingCompatibility.HodgeChart.scalar_zero_off line 28
3. lemma OAI.TamingCompatibility.HodgeChart.scalar_tsupport_subset line 37
4. lemma OAI.TamingCompatibility.HodgeChart.scalar_smooth_compact line 46
5. def OAI.TamingCompatibility.HodgeChart.scalarSchwartz line 57
6. lemma OAI.TamingCompatibility.HodgeChart.scalarSchwartz_support line 63
7. lemma OAI.TamingCompatibility.HodgeChart.scalar_expansion line 70
8. lemma OAI.TamingCompatibility.HodgeChart.localizedPairing_scalars line 103
9. lemma OAI.TamingCompatibility.HodgeChart.scalar_norm_bound line 123
10. lemma OAI.TamingCompatibility.HodgeChart.integral_scalar_bound line 142