OAI/Probability/SphericalField/Entropy/Support.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptron.reciprocal_supporting_inequality line 13
2. lemma OAI.SphericalPerceptron.max_difference_support line 22
3. theorem OAI.SphericalPerceptron.entropy_weightedStep_support line 30
4. theorem OAI.SphericalPerceptron.stationary_finite_entropy_minimizes line 99