OAI/Probability/Perceptron/Variational/MarkedTangentCanonical.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.marked_tangent_canonical line 12
2. def OAI.SphericalPerceptronFreeEnergy.nonnegativeSpinTime line 55
3. lemma OAI.SphericalPerceptronFreeEnergy.nonnegativeSpinTime_continuous line 57
4. lemma OAI.SphericalPerceptronFreeEnergy.nonnegativeSpinTime_val line 60
5. def OAI.SphericalPerceptronFreeEnergy.markedTimeLaw line 63
6. lemma OAI.SphericalPerceptronFreeEnergy.markedTimeLaw_factor line 68
7. lemma OAI.SphericalPerceptronFreeEnergy.marked_time_self_consistency line 78