OAI/Geometry/TamingCompatibility/Hodge/HodgeScalarRaw.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TamingCompatibility.HodgeChart.scalar_eq_weight line 20
2. def OAI.TamingCompatibility.HodgeChart.realVectorSchwartz line 27
3. lemma OAI.TamingCompatibility.HodgeChart.realVectorSchwartz_apply line 29
4. lemma OAI.TamingCompatibility.HodgeChart.realVectorSchwartz_embed line 34
5. lemma OAI.TamingCompatibility.HodgeChart.realVectorSchwartz_raw line 41
6. lemma OAI.TamingCompatibility.HodgeChart.cutoff_realVector_raw line 47
7. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeRawDistribution_smooth line 65
8. def OAI.TamingCompatibility.GeometricHilbert.hodgeTest line 97
9. lemma OAI.TamingCompatibility.GeometricHilbert.full_componentTest_support line 101
10. lemma OAI.TamingCompatibility.GeometricHilbert.full_componentTest_compact line 104
11. lemma OAI.TamingCompatibility.GeometricHilbert.hodge_smooth_energy_pair line 108
12. lemma OAI.TamingCompatibility.GeometricHilbert.hodge_raw_square_energy_smooth line 130
13. lemma OAI.TamingCompatibility.GeometricHilbert.hodge_raw_square_energy line 155