OAI/Probability/Perceptron/Variational/DepthGG.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.depth_block_row_threshold line 11
2. lemma OAI.SphericalPerceptronFreeEnergy.indexedDepthLaw_block_zero_of_diagonal line 34
3. lemma OAI.SphericalPerceptronFreeEnergy.indexedDepthLaw_focused_formula_real line 48
4. lemma OAI.SphericalPerceptronFreeEnergy.indexedDepthLaw_pair_tail_real line 72
5. theorem OAI.SphericalPerceptronFreeEnergy.indexedDepthLaw_finiteGG line 84