OAI/Probability/SKValue/Gaussian/SplitShape.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SKValue.splitTerminal line 10
2. lemma OAI.SKValue.splitTerminal_eq line 13
3. lemma OAI.SKValue.splitTerminal_smooth line 20
4. lemma OAI.SKValue.OrderParameter.splitSegment_coeff line 24
5. lemma OAI.SKValue.splitCut_le_parameter line 36
6. lemma OAI.SKValue.splitTerminal_shape line 49
7. lemma OAI.SKValue.split_profile_coercivity line 64