OAI/Probability/SphericalField/Positivity/Nonnegative.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptron.negativeClique_null line 14
2. theorem OAI.SphericalPerceptron.gg_negative_threshold_null line 33
3. theorem OAI.SphericalPerceptron.gg_overlap_nonnegative line 59
4. lemma OAI.SphericalPerceptron.gg_star_growth_impossible line 77