| SameScalar | Math.VectorSpace.MiscUtil.MultiConstraints |
| sampleLinearFunction | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| Scalar | Math.LinearMap.Category, Math.LinearMap.Category |
| ScalarSpaceWitness | |
| 1 (Type/Class) | Math.LinearMap.Category |
| 2 (Data Constructor) | Math.LinearMap.Category |
| scalarSpaceWitness | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| scale | Math.LinearMap.Category |
| scaleNorm | Math.LinearMap.Category |
| scaleTensor | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| SemiInner | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| Semimanifold | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| semimanifoldWitness | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| Seminorm | Math.LinearMap.Category |
| sharedNormSpanningSystem | Math.LinearMap.Category |
| sharedSeminormSpanningSystem | Math.LinearMap.Category |
| sharedSeminormSpanningSystem' | Math.LinearMap.Category |
| showsPrecAsRiesz | Math.LinearMap.Category |
| showsPrecBasis | Math.LinearMap.Category |
| SimpleSpace | Math.LinearMap.Category |
| Space | Math.VectorSpace.Dual |
| spanNorm | Math.LinearMap.Category |
| spanVariance | Math.LinearMap.Category |
| squareV | Math.LinearMap.Category |
| squareVs | Math.LinearMap.Category |
| SubBasis | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category, Math.LinearMap.Category |
| subbasisDimension | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| subtractTensors | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| Sum | |
| 1 (Data Constructor) | Math.LinearMap.Category |
| 2 (Type/Class) | Math.LinearMap.Category |
| summandSpaceNorms | Math.LinearMap.Category |
| sumSubspaceNorms | Math.LinearMap.Category |
| sumV | Math.LinearMap.Category |
| symmetricPolytopeOuterVertices | Math.LinearMap.Category |
| SymmetricTensor | Math.LinearMap.Category |
| SymTensor | Math.LinearMap.Category |
| symTensorDualBasisCandidates | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |
| symTensorTensorDualBasisCandidates | Math.LinearMap.Category.Instances.Deriving, Math.LinearMap.Category |