OAI/Analysis/SymmetricDomains/ParameterPeakMaximizer.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Release061.parameterPotential line 32
2. def OAI.Release061.parameterPeak line 36
3. theorem OAI.Release061.parameterPeak_norm line 41
4. theorem OAI.Release061.parameterPeak_analytic line 54
5. theorem OAI.Release061.parameterPeak_self line 64
6. theorem OAI.Release061.parameterPeak_bound line 68
7. theorem OAI.Release061.exists_parameterPeak_maximizer line 84