OAI/Analysis/AncientFlat/Regularity/ScaledJets.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FlatWeighted.scaleU line 11
2. def OAI.FlatWeighted.scaleUT line 13
3. lemma OAI.FlatWeighted.window_zero_eq_scale line 15
4. lemma OAI.FlatWeighted.scaleU_apply line 16
5. lemma OAI.FlatWeighted.scaleUT_apply line 18
6. lemma OAI.FlatWeighted.scaleU_contDiff line 20
7. lemma OAI.FlatWeighted.scaled_jet_bound line 23
8. lemma OAI.FlatWeighted.LocallyFiniteJets.scale line 32
9. lemma OAI.FlatWeighted.weightedValue_scale line 49
10. lemma OAI.FlatWeighted.weightedTime_scale line 56