OAI/Probability/Perceptron/Variational/CompactTripleGG.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SphericalPerceptronFreeEnergy.compact_two_edge_law line 12
  2. lemma OAI.SphericalPerceptronFreeEnergy.ultrametric_tangent_algebra line 38
  3. lemma OAI.SphericalPerceptronFreeEnergy.boundedAbs_integrable line 57
  4. lemma OAI.SphericalPerceptronFreeEnergy.two_edge_integral line 62
  5. lemma OAI.SphericalPerceptronFreeEnergy.time_abs_le_one line 78
  6. lemma OAI.SphericalPerceptronFreeEnergy.sphereKernel_abs_le_one line 82
  7. lemma OAI.SphericalPerceptronFreeEnergy.time_pospart_le_one line 89
  8. lemma OAI.SphericalPerceptronFreeEnergy.sphereKernel_tangent_algebra line 93
  9. lemma OAI.SphericalPerceptronFreeEnergy.sphereTail_pospart line 108
  10. lemma OAI.SphericalPerceptronFreeEnergy.compact_test_smooth_approx line 119
  11. lemma OAI.SphericalPerceptronFreeEnergy.smooth_compact_test_extend line 145