OAI/Analysis/IntegralMeans/TraceBounds.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Brennan.rectangle_trace_periodic line 10
2. lemma OAI.Brennan.rectangle_restrict_open line 59
3. lemma OAI.Brennan.rectangle_conformal_lintegral_le line 68
4. lemma OAI.Brennan.periodic_conformal_trace_bounded line 107
5. lemma OAI.Brennan.radial_growth_upper line 218
6. lemma OAI.Brennan.schlicht_growth_upper line 259