OAI/Probability/Perceptron/Interpolation/PerturbationContact.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptronFreeEnergy.sourceExpectedPressure line 13
2. def OAI.SphericalPerceptronFreeEnergy.sourcePenaltyWeight line 17
3. lemma OAI.SphericalPerceptronFreeEnergy.sourceExpectedPressure_continuousOn line 19
4. lemma OAI.SphericalPerceptronFreeEnergy.source_perturbation_contact_exists line 33
5. lemma OAI.SphericalPerceptronFreeEnergy.source_perturbation_contact_coord line 43
6. lemma OAI.SphericalPerceptronFreeEnergy.source_perturbation_contact_interior line 59
7. lemma OAI.SphericalPerceptronFreeEnergy.single_coordinate_box line 74
8. lemma OAI.SphericalPerceptronFreeEnergy.source_contact_compact_gg_rate line 85