OAI/Probability/Perceptron/Variational/MarkedGraphLaw.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SphericalPerceptronFreeEnergy.markedTimePair line 12
2. instance OAI.SphericalPerceptronFreeEnergy.markedTimePair_isProbability line 15
3. lemma OAI.SphericalPerceptronFreeEnergy.markedTimePair_ae line 19
4. theorem OAI.SphericalPerceptronFreeEnergy.marked_graph_law line 26