OAI/Geometry/TamingCompatibility/DifferentialForms/WeightedRawPairing.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TamingCompatibility.GeometricHilbert.densityTest line 25
2. lemma OAI.TamingCompatibility.GeometricHilbert.densityTest_apply line 32
3. lemma OAI.TamingCompatibility.GeometricHilbert.densityTest_support line 37
4. lemma OAI.TamingCompatibility.GeometricHilbert.smooth_raw_component_pair line 42
5. lemma OAI.TamingCompatibility.GeometricHilbert.raw_component_pair line 72
6. lemma OAI.TamingCompatibility.ComplexMatrix.bounded_real_component line 108