OAI/Probability/Perceptron/Cavity/FreshGGLogUniqueness.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.probability_Icc_eq_of_moments line 12
2. theorem OAI.SphericalPerceptronFreeEnergy.freshPartitionLaw_eq_of_pair_law line 40
3. theorem OAI.SphericalPerceptronFreeEnergy.freshLog_eq_of_pair_law line 47