OAI/Analysis/AncientFlat/Weighted/ExactXNorm.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FlatWeighted.jetComponent line 12
2. def OAI.FlatWeighted.localXNorm line 15
3. def OAI.FlatWeighted.xNorm line 19
4. lemma OAI.FlatWeighted.holderBound_holderNorm line 24
5. lemma OAI.FlatWeighted.component_holder line 43
6. lemma OAI.FlatWeighted.jetBound_localXNorm line 57
7. lemma OAI.FlatWeighted.xBound_xNorm line 85