OAI/Analysis/FreeWords/PositiveMoments.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.KKFreeWords.positiveMap_re_nonneg line 81
2. theorem OAI.KKFreeWords.positiveMap_norm_of_nonneg line 85
3. theorem OAI.KKFreeWords.positiveMap_cauchy_schwarz line 91
4. theorem OAI.KKFreeWords.positiveMap_moment_interpolation line 99
5. theorem OAI.KKFreeWords.positiveMap_fourth_le line 130