OAI/Geometry/TamingCompatibility/Hodge/HodgePairAllTests.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TamingCompatibility.ComplexMatrix.real_full_decompose line 11
2. lemma OAI.TamingCompatibility.ManifoldForms.chartLift_finset_sum line 21
3. lemma OAI.TamingCompatibility.HodgeChart.manifoldTest_sum line 39
4. lemma OAI.TamingCompatibility.GeometricHilbert.hodge_pair_all_tests_eq line 58
5. lemma OAI.TamingCompatibility.GeometricHilbert.hodge_exists_weak_patch line 94
6. lemma OAI.TamingCompatibility.GeometricHilbert.hodge_smooth_multiply_pair line 130
7. lemma OAI.TamingCompatibility.GeometricHilbert.hodge_partition_sum line 140
8. lemma OAI.TamingCompatibility.GeometricHilbert.hodge_energy_eq_of_pair_smooth line 151
9. lemma OAI.TamingCompatibility.GeometricHilbert.hodge_glue_weak_patches line 169