OAI/Probability/Perceptron/Sphere/
203 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- CoordinateBoxBound.lean 2 declarations
- CoordinateContact.lean 9 declarations
- GaussianAffineCoordinate.lean 20 declarations
- GaussianCoordinateProjection.lean 6 declarations
- GaussianPolar.lean 9 declarations
- GaussianRotation.lean 21 declarations
- SphereBridge.lean 40 declarations
- SphereHeat.lean 8 declarations
- SphereIsometryMap.lean 39 declarations
- SphereKernel.lean 33 declarations
- SphereLimit.lean 10 declarations
- UnitSphereTangent.lean 6 declarations