OAI/Geometry/TamingCompatibility/HeatFlow/HodgeResolventParameters.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeWeakSolution_parameter line 20
2. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeResolvent_parameter line 33
3. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeResolvent_commute line 51
4. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeResolvent_eigenvalue_positive_le_one line 90
5. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeResolvent_eigenvector_parameter line 107
6. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeRegularization_sq_eigenvector line 133
7. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeResolvent_eigenspaces_total line 154