OAI/Geometry/TamingCompatibility/Hodge/HodgeScaleH3.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TamingCompatibility.GeometricHilbert.hodgeScaleH3Input line 20
2. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeScaleH3Input_spec line 24
3. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeRegularizedGraph_small_bound line 40
4. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeScaleH3Input_bound line 48
5. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeRegularization_uniform_local_H1 line 93
6. lemma OAI.TamingCompatibility.GeometricHilbert.hodgeRegularization_uniform_local_H3 line 138