OAI/Probability/Perceptron/Interpolation/TerminalReplicaRestoration.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.gibbsReplicaMean_pair_integral line 18
2. lemma OAI.SphericalPerceptronFreeEnergy.gibbsReplicaMean_product_leaf line 32
3. lemma OAI.SphericalPerceptronFreeEnergy.indexedTerminalPairMean_replica line 52
4. lemma OAI.SphericalPerceptronFreeEnergy.indexedTerminalMean_tiltMean line 72
5. lemma OAI.SphericalPerceptronFreeEnergy.indexedTerminalPairMean_restore line 85
6. lemma OAI.SphericalPerceptronFreeEnergy.continuous_integrable_compact line 106
7. lemma OAI.SphericalPerceptronFreeEnergy.unitSphere_gibbs_tangent_mean line 111
8. lemma OAI.SphericalPerceptronFreeEnergy.unitSphere_gibbs_replica_tangent line 139