OAI/Probability/Perceptron/Variational/AtomicBranches.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.injective_of_simple_count_map line 11
2. lemma OAI.SphericalPerceptronFreeEnergy.markedStableMassKernel_count_map line 36
3. lemma OAI.SphericalPerceptronFreeEnergy.stableMassKernel_count_map_atom line 48
4. def OAI.SphericalPerceptronFreeEnergy.countedBlockProbability line 70
5. lemma OAI.SphericalPerceptronFreeEnergy.markedBlockProbability_count_map line 78
6. instance OAI.SphericalPerceptronFreeEnergy.finiteSigmaMeasurableSingleton line 129
7. lemma OAI.SphericalPerceptronFreeEnergy.indexedPoissonMeasure_eq_map_count line 138