OAI/Geometry/TamingCompatibility/DifferentialForms/WeightedLower.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TamingCompatibility.GeometricHilbert.FirstJetGauge.weightedPrincipal_contDiffAt line 15
2. lemma OAI.TamingCompatibility.GeometricHilbert.FirstJetGauge.actualSquareFirst_contDiffAt line 22
3. def OAI.TamingCompatibility.GeometricHilbert.FirstJetGauge.weightedLower line 35
4. def OAI.TamingCompatibility.GeometricHilbert.FirstJetGauge.actualSquareZero line 38
5. lemma OAI.TamingCompatibility.GeometricHilbert.FirstJetGauge.actualSquareZero_contDiffAt line 42
6. lemma OAI.TamingCompatibility.GeometricHilbert.FirstJetGauge.transformedFirst_contDiffAt line 55
7. def OAI.TamingCompatibility.GeometricHilbert.FirstJetGauge.transformedZero line 64
8. lemma OAI.TamingCompatibility.GeometricHilbert.FirstJetGauge.transformedZero_contDiffAt line 69