OAI/Probability/Perceptron/Variational/ShapeProbability.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptronFreeEnergy.CascadeShapeMatches line 13
2. lemma OAI.SphericalPerceptronFreeEnergy.indexedCommonDepth_ne_zero_iff line 20
3. lemma OAI.SphericalPerceptronFreeEnergy.cascadeShapeMatches_iff line 25
4. def OAI.SphericalPerceptronFreeEnergy.indexedActiveRootEmbedding line 62
5. def OAI.SphericalPerceptronFreeEnergy.indexedActiveLeafEmbedding line 74
6. def OAI.SphericalPerceptronFreeEnergy.indexedShapeVisit line 86
7. lemma OAI.SphericalPerceptronFreeEnergy.indexedShapeVisit_measurable line 93
8. lemma OAI.SphericalPerceptronFreeEnergy.indexedShapeVisit_zero line 109
9. lemma OAI.SphericalPerceptronFreeEnergy.indexedShapeVisit_succ line 118