OAI/Analysis/LiebThirring/LocalWeight.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SharpLiebThirring.OperatorProof.localSqrt line 11
2. lemma OAI.SharpLiebThirring.OperatorProof.localSqrt_memLp line 14
3. def OAI.SharpLiebThirring.OperatorProof.localWeightedL line 31
4. lemma OAI.SharpLiebThirring.OperatorProof.localWeightedL_ae line 34
5. lemma OAI.SharpLiebThirring.OperatorProof.localWeightedL_compact line 45