OAI/Probability/Perceptron/Pressure/TerminalRestorationLaw.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.indexedTerminalMean_root_integral line 13
2. lemma OAI.SphericalPerceptronFreeEnergy.rootPathMean_parallel line 42
3. lemma OAI.SphericalPerceptronFreeEnergy.cascade_root_single_coefficients_product line 53
4. lemma OAI.SphericalPerceptronFreeEnergy.indexedTerminalPairMean_two_fresh_old line 85