OAI/Probability/SphericalField/Sphere/Invariance.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptron.sphereIsometryMap line 21
2. lemma OAI.SphericalPerceptron.sphereIsometryMap_measurable line 25
3. lemma OAI.SphericalPerceptron.sphereIsometryMap_preimage_cone line 29
4. lemma OAI.SphericalPerceptron.sphereIsometryMap_preserving line 42
5. lemma OAI.SphericalPerceptron.unitSphereLaw_isometry_preserving line 55
6. lemma OAI.SphericalPerceptron.sphereLaw_isometry_preserving line 61