OAI/Probability/Perceptron/Interpolation/FiniteVectorReplica.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.euclideanReplica_measurable_left line 11
2. lemma OAI.SphericalPerceptronFreeEnergy.euclideanReplica_measurable_right line 24
3. lemma OAI.SphericalPerceptronFreeEnergy.countableVector_replica_ibp line 48
4. lemma OAI.SphericalPerceptronFreeEnergy.euclideanGaussian_replica_ibp line 72