OAI/Probability/Perceptron/Variational/IndexedLeafTotal.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.decoratedTerminalTotalE_measurable line 12
2. lemma OAI.SphericalPerceptronFreeEnergy.indexedLeafMeasure_terminal_identity line 24
3. lemma OAI.SphericalPerceptronFreeEnergy.indexedLeafMeasure_regular line 51
4. def OAI.SphericalPerceptronFreeEnergy.indexedLeafProbability line 78
5. instance OAI.SphericalPerceptronFreeEnergy.indexedLeafProbability_isProbability line 83
6. lemma OAI.SphericalPerceptronFreeEnergy.indexedLeafProbability_measurable line 92
7. lemma OAI.SphericalPerceptronFreeEnergy.indexedLeafProbability_lintegral line 103
8. lemma OAI.SphericalPerceptronFreeEnergy.indexedLeafProbability_terminal_identity line 109